Uses of Interface
aterm.ATermPlaceholder

Packages that use ATermPlaceholder

Package	Description
aterm
aterm.pure
aterm.pure.binary

Uses of ATermPlaceholder in aterm

Methods in aterm that return ATermPlaceholder

Modifier and Type	Method and Description
ATermPlaceholder	ATermFactory.makePlaceholder(ATerm type) Creates an ATermPlaceholder object.

Methods in aterm with parameters of type ATermPlaceholder

Modifier and Type	Method and Description
Visitable	ATermFwd.visitPlaceholder(ATermPlaceholder arg)
Visitable	Visitor.visitPlaceholder(ATermPlaceholder arg)
Visitable	ATermFwdVoid.visitPlaceholder(ATermPlaceholder arg)
void	ATermFwdVoid.voidVisitPlaceholder(ATermPlaceholder arg)

Uses of ATermPlaceholder in aterm.pure

Classes in aterm.pure that implement ATermPlaceholder

Modifier and Type	Class and Description
class	ATermPlaceholderImpl

Methods in aterm.pure that return ATermPlaceholder

Modifier and Type	Method and Description
ATermPlaceholder	PureFactory.makePlaceholder(ATerm type)
ATermPlaceholder	PureFactory.makePlaceholder(ATerm type, ATermList annos)

Uses of ATermPlaceholder in aterm.pure.binary

Methods in aterm.pure.binary with parameters of type ATermPlaceholder

Modifier and Type	Method and Description
void	BinaryWriter.voidVisitPlaceholder(ATermPlaceholder arg) Serializes the given placeholder.