| Package | Description |
|---|---|
| aterm | |
| aterm.pure | |
| aterm.pure.binary |
| Modifier and Type | Method and Description |
|---|---|
ATermLong |
ATermFactory.makeLong(long val)
Creates a new ATermLong object
|
| Modifier and Type | Method and Description |
|---|---|
Visitable |
ATermFwd.visitLong(ATermLong arg) |
Visitable |
Visitor.visitLong(ATermLong arg) |
Visitable |
ATermFwdVoid.visitLong(ATermLong arg) |
void |
ATermFwdVoid.voidVisitLong(ATermLong arg) |
| Modifier and Type | Class and Description |
|---|---|
class |
ATermLongImpl |
| Modifier and Type | Method and Description |
|---|---|
ATermLong |
PureFactory.makeLong(long val) |
ATermLong |
PureFactory.makeLong(long value,
ATermList annos) |
| Modifier and Type | Method and Description |
|---|---|
void |
BinaryWriter.voidVisitLong(ATermLong arg)
Serializes the given long.
|
Copyright © 2012 CWI. All Rights Reserved.