Package jason.asSyntax

Class Trigger

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.Trigger

All Implemented Interfaces:

LogicalFormula, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>

public class Trigger
extends Structure
implements Cloneable

Represents an AgentSpeak trigger (like +!g, +p, ...). It is composed by: an operator (+ or -); a type (, !, or ?); a literal (it extends structure to be used as a term)

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Trigger.TEOperator
static enum	Trigger.TEType

Field Summary

Fields inherited from class jason.asSyntax.Structure

emptyTermArray, emptyTermList

Fields inherited from class jason.asSyntax.Literal

DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache

Fields inherited from class jason.asSyntax.DefaultTerm

hashCodeCache, srcInfo

Constructor Summary

Constructors

Constructor	Description
Trigger(Trigger.TEOperator op, Trigger.TEType t, Literal l)

Method Summary

Modifier and Type	Method	Description
Trigger	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
Trigger	clone()	make a deep copy of the terms
boolean	equals(Object o)
int	getArity()	returns the number of terms of this literal
Element	getAsDOM(Document document)	get as XML
Literal	getLiteral()
Trigger.TEOperator	getOperator()
PredicateIndicator	getPredicateIndicator()	return [+|-][!|?] super.getPredicateIndicator
Term	getTerm(int i)	returns the i-th term (first term is 0)
Trigger.TEType	getType()
boolean	isAchvGoal()
boolean	isAddition()
boolean	isFailureGoal()
boolean	isGoal()
boolean	isMetaEvent()
boolean	isUpdate()	returns true if the trigger is an add (+bel) or del (-bel)
static Trigger	parseTrigger(String sTe)	prefer to use ASSyntax.parseTrigger
boolean	sameType(Trigger e)
void	setAsTriggerTerm(boolean b)
void	setLiteral(Literal literal)
void	setTerm(int i, Term t)
void	setTrigOp(Trigger.TEOperator op)
void	setType(Trigger.TEType t)
String	toString()
static Trigger	tryToGetTrigger(Term t)	try to convert the term t into a trigger, in case t is a trigger term, a string that can be parsed to a trigger, a var with value trigger, ....

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, calcHashCode, cloneNS, countVars, delTerm, getSingletonVars, getTerms, getTermsSize, hasTerm, hasVar, isAtom, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerms, subsumes, varToReplace

Methods inherited from class jason.asSyntax.Atom

compareTo, getFunctor, getNS

Methods inherited from class jason.asSyntax.Literal

addAnnot, addAnnots, addAnnots, addSource, addSourceInfoAsAnnots, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delAnnots, delSource, delSources, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getAsJson, getAsListOfTerms, getSources, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, isLiteral, logicalConsequence, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getCyclicVar, getErrorMsg, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo

Methods inherited from class java.lang.Object

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

Methods inherited from interface jason.asSyntax.Term

getCyclicVar, getSrcInfo, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isUnnamedVar, isVar, setSrcInfo

Methods inherited from interface jason.util.ToJson

getAsJsonStr

Constructor Details

Trigger

public Trigger(Trigger.TEOperator op,
 Trigger.TEType t,
 Literal l)

Method Details

parseTrigger

public static Trigger parseTrigger(String sTe)

prefer to use ASSyntax.parseTrigger

getArity

public int getArity()

Description copied from class: Literal

returns the number of terms of this literal

Overrides:

getArity in class Structure

getTerm

public Term getTerm(int i)

Description copied from class: Literal

returns the i-th term (first term is 0)

Overrides:

getTerm in class Structure

setTerm

public void setTerm(int i,
 Term t)

Overrides:

setTerm in class Structure

setTrigOp

public void setTrigOp(Trigger.TEOperator op)

sameType

public boolean sameType(Trigger e)

equals

public boolean equals(Object o)

Specified by:

equals in interface Term

Overrides:

equals in class Structure

isAchvGoal

public boolean isAchvGoal()

isFailureGoal

public boolean isFailureGoal()

isGoal

public boolean isGoal()

isUpdate

public boolean isUpdate()

returns true if the trigger is an add (+bel) or del (-bel)

isMetaEvent

public boolean isMetaEvent()

getOperator

public Trigger.TEOperator getOperator()

getType

public Trigger.TEType getType()

setType

public void setType(Trigger.TEType t)

isAddition

public boolean isAddition()

clone

public Trigger clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class Structure

capply

public Trigger capply(Unifier u)

Description copied from interface: Term

clone and applies together (and faster than clone and then apply)

Specified by:

capply in interface Term

Overrides:

capply in class Structure

getPredicateIndicator

public PredicateIndicator getPredicateIndicator()

return [+|-][!|?] super.getPredicateIndicator

Overrides:

getPredicateIndicator in class Literal

getLiteral

public Literal getLiteral()

setLiteral

public void setLiteral(Literal literal)

setAsTriggerTerm

public void setAsTriggerTerm(boolean b)

toString

public String toString()

Overrides:

toString in class Structure

tryToGetTrigger

public static Trigger tryToGetTrigger(Term t)
                               throws ParseException

try to convert the term t into a trigger, in case t is a trigger term, a string that can be parsed to a trigger, a var with value trigger, ....

Throws:

ParseException

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class Structure