Package jason.asSyntax
Class MapTermImpl
java.lang.Object
jason.asSyntax.DefaultTerm
jason.asSyntax.MapTermImpl
- All Implemented Interfaces:
MapTerm,Term,ToDOM,ToJson,Serializable,Cloneable,Comparable<Term>
Represents a Jason map as a TreeMap in java
- See Also:
-
Field Summary
Fields inherited from class jason.asSyntax.DefaultTerm
hashCodeCache, srcInfo -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class jason.asSyntax.DefaultTerm
cloneNS, countVars, getCyclicVar, getErrorMsg, getSrcInfo, hashCode, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, parse, resetHashCodeCache, setSrcInfo, subsumesMethods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface jason.asSyntax.Term
cloneNS, countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumesMethods inherited from interface jason.util.ToJson
getAsJsonStr
-
Constructor Details
-
MapTermImpl
public MapTermImpl()
-
-
Method Details
-
clone
- Specified by:
clonein interfaceTerm- Specified by:
clonein classDefaultTerm
-
deepClone
-
capply
Description copied from interface:Termclone and applies together (and faster than clone and then apply)- Specified by:
capplyin interfaceTerm- Overrides:
capplyin classDefaultTerm
-
equals
-
calcHashCode
public int calcHashCode()- Specified by:
calcHashCodein classDefaultTerm
-
compareTo
- Specified by:
compareToin interfaceComparable<Term>- Overrides:
compareToin classDefaultTerm
-
size
public int size() -
isMap
public boolean isMap()- Specified by:
isMapin interfaceTerm- Overrides:
isMapin classDefaultTerm
-
get
-
put
-
remove
-
keys
-
values
-
clear
public void clear() -
toString
-
getAsDOM
-
getAsJson
public javax.json.JsonValue getAsJson()
-