aterm

Interface ATermPlaceholder

All Superinterfaces:

ATerm, Identifiable, jjtraveler.Visitable

All Known Implementing Classes:

ATermPlaceholderImpl

public interface ATermPlaceholder
extends ATerm

This interface describes the functionality of an ATermPlaceholder

Author:

Hayco de Jong (jong@cwi.nl), Pieter Olivier (olivierp@cwi.nl)

Field Summary

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Method Summary

Methods

Modifier and Type	Method and Description
ATerm	getPlaceholder() Gets the type of this placeholder.

Methods inherited from interface aterm.ATerm

equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile

Methods inherited from interface aterm.Visitable

accept

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Method Detail

getPlaceholder

ATerm getPlaceholder()

Gets the type of this placeholder.

Returns:

the type of this placeholder.