aterm
Interface ATermPlaceholder

All Superinterfaces:
ATerm, aterm.ATermVisitable, aterm.visitor.Visitable

public interface ATermPlaceholder
extends ATerm

This interface describes the functionality of an ATermPlaceholder


Field Summary
 
Fields inherited from interface aterm.ATerm
APPL, BLOB, INT, LIST, PLACEHOLDER, REAL
 
Method Summary
 aterm.ATerm getPlaceholder()
          Gets the type of this placeholder.
 
Methods inherited from interface aterm.ATerm
equals, getAnnotation, getAnnotations, getFactory, getType, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile
 
Methods inherited from interface aterm.ATermVisitable
accept
 
Methods inherited from interface aterm.visitor.Visitable
getChildAt, getChildCount, setChildAt
 

Method Detail

getPlaceholder

public aterm.ATerm getPlaceholder()
Gets the type of this placeholder.

Returns:
the type of this placeholder.