| Package | Description |
|---|---|
| aterm | |
| aterm.pure | |
| aterm.pure.binary |
| Modifier and Type | Method and Description |
|---|---|
ATermPlaceholder |
ATermFactory.makePlaceholder(ATerm type)
Creates an ATermPlaceholder object.
|
| 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) |
| Modifier and Type | Class and Description |
|---|---|
class |
ATermPlaceholderImpl |
| Modifier and Type | Method and Description |
|---|---|
ATermPlaceholder |
PureFactory.makePlaceholder(ATerm type) |
ATermPlaceholder |
PureFactory.makePlaceholder(ATerm type,
ATermList annos) |
| Modifier and Type | Method and Description |
|---|---|
void |
BinaryWriter.voidVisitPlaceholder(ATermPlaceholder arg)
Serializes the given placeholder.
|
Copyright © 2012 CWI. All Rights Reserved.