aterm

Interface AFun

All Superinterfaces:

ATerm, Identifiable, jjtraveler.Visitable

All Known Implementing Classes:

AFunImpl

public interface AFun
extends ATerm

An AFun represents a function symbol

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
int	getArity() Gets the arity of this application.
String	getName() Gets the name of the function symbol
boolean	isQuoted() Checks if this application is quoted.
int	serialize(BufferedOutputStreamWriter writer)

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

getName

String getName()

Gets the name of the function symbol

Returns:

the name of this function symbol.

getArity

int getArity()

Gets the arity of this application. Arity is the number of arguments of a function application.

Returns:

the number of arguments that applications of this function symbol have.

isQuoted

boolean isQuoted()

Checks if this application is quoted. A quoted application looks like this: "foo", whereas an unquoted looks like this: foo.

Returns:

true if this application is quoted, false otherwise.

serialize

int serialize(BufferedOutputStreamWriter writer)
              throws IOException

Throws:

IOException