Package astra.term

Class Performative

java.lang.Object

astra.term.Performative

All Implemented Interfaces:

Term, Serializable

public class Performative
extends Object
implements Term

See Also:

Serialized Form

Field Summary

Fields inherited from interface astra.term.Term

EMPTY_ARRAY, NULL_TERM

Constructor Summary

Constructors

Constructor	Description
Performative(String value)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Performative	clone()
boolean	equals(Object obj)
boolean	matches(Term term)
String	signature()
int	stringId()
String	toString()
Type	type()
String	value()

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Performative

public Performative(String value)

Method Details

stringId

public int stringId()

value

public String value()

type

public Type type()

Specified by:

type in interface Term

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

matches

public boolean matches(Term term)

Specified by:

matches in interface Term

signature

public String signature()

Specified by:

signature in interface Term

clone

public Performative clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object