gov.nasa.arc.brahms.common.data
Class Precondition

java.lang.Object
  gov.nasa.arc.brahms.common.data.BrahmsObject
      gov.nasa.arc.brahms.common.data.ModelElement
          gov.nasa.arc.brahms.common.data.Condition
              gov.nasa.arc.brahms.common.data.Precondition

All Implemented Interfaces:

gov.nasa.arc.brahms.common.IConstants, java.io.Serializable

Direct Known Subclasses:

VMPrecondition

public class Precondition
extends Condition

Preconditions control the activation of a workframe and thoughtframe. For a frame to become active the preconditions defined for the frame have to be satisfied. Preconditions are satisfied by either matching beliefs of an agent (if the frames are thoughtframes or workframes defined for an agent) or by matching facts in the world (if workframes are defined for an object). Preconditions can include variables as part of their matching of specific beliefs/facts.

Version:

$Revision: 1.1 $ $Date: 2007/10/10 14:12:15 $ $Author: rvhoof $

Author:

Ron van Hoof

See Also:

Serialized Form

Field Summary

Fields inherited from interface gov.nasa.arc.brahms.common.IConstants

ABORT, ACTIVECLASS, ACTIVECONCEPT, ACTIVEINSTANCE, AGENT, ANONYMOUS, ANYAGENT, AREA, AREADEF, ASSIGNED, ATTRIBUTE, BASEAREADEF, BASECLASS, BASECONCEPTUALCLASS, BASEGROUP, BASELIBRARY, BOOLEAN, BROADCAST, BUILDING, BYTE, CCLOCK, CDATE, CHAR, CITY, CLASS, CLOCK, COLLECTALL, COMMUNICATE, COMPLETE, COMPOSITE, COMPUTER, CONCEPT, CONCEPTUALCLASS, CONCEPTUALCONCEPT, CONCEPTUALOBJECT, CONTINUE, COPY, CREATEAGENT, CREATEAREA, CREATEOBJECT, current, CURRENT, DATAFRAME, DATE, DB, DETECTABLE, DIV, DOUBLE, EMAIL, EMPTY_STRING, END, ENDACTIVITY, ENTAGENT, EQ, EXCEPTION, EXPR, FACE2FACE, FACTFRAME, FALSE, FAX, FLOAT, FOREACH, FORONE, G2, GE, GEOGRAPHYCONCEPT, GESTURE, GET, GROUP, GT, IMPASSE, INT, INVALID, JAVA, JAVA_TYPE, KNOWN_MODIFIER, KNOWNVAL_MODIFIER, LE, LOCAL, LONG, LT, MAP, MINUS, MOD, MOVE, MULT, NE, NEW, NONE, NOT_MODIFIER, NOWORK, O, OA, OBJECT, ONTOLOGY, PAGER, PARAMETER, PATH, PHONE, PLUS, PRIMITIVE, PRIVATE, PROAGENT, PROTECTED, PRSAGENT, PUBLIC, PUT, RECEIVE, RELATION, sACTIVECLASS, sACTIVECONCEPT, sACTIVEINSTANCE, sAGENT, sARCHIVE, sAREA, sAREADEF, sBOOLEAN, sBYTE, sBYTECODEEXT, sCHAR, sCLASS, sCOMPUTER, sCONCEPT, sCONCEPTUALCLASS, sCONCEPTUALCONCEPT, sCONCEPTUALOBJECT, sCOPY, sCURRENT, sDETECTABLE, sDOUBLE, sEMAIL, sEND, SEND, sFACE2FACE, sFAX, sFILEEXT, sFLOAT, sGEOGRAPHYCONCEPT, sGROUP, SHORT, SIMAGENT, sINT, sJAVA_TYPE, sLONG, sMAP, sNEW, sNONE, sNOWORK, sOBJECT, SOURCECODE, sPAGER, sPARAMETER, sPATH, sPHONE, sPRIVATE, sPROJECTEXT, sPROTECTED, sPUBLIC, sSHORT, sSTART, sSTRING, sSYMBOL, START, STRING, sUNKNOWN, sVOID, SYMBOL, TRUE, UDT, UML, UNASSIGNED, UNDEFINED, unknown, UNKNOWN, UNKNOWN_MODIFIER, V, VARIABLE, VOID, WHENEVER, WORKFRAME, WORLD, XML

Constructor Summary

Precondition()
Constructor, creates a new empty Precondition.

Precondition(Comparison c)
Constructor, creates a new precondition specified by the given comparison.

Precondition(Comparison c, int truth)
Constructor, creates a new precondition specified by the given comparison and with the specified truth-value.

Precondition(int modifier, Comparison c)
Constructor, creates a new precondition specified by the given comparison with the specified modifier.

Precondition(int modifier, Comparison c, int truth)
Constructor, creates a new precondition specified by the given comparison with the specified modifier and truth value.

Method Summary

int	getModifier()
protected void	setID() Sets the unique identifier.
void	setModifier(int modifier)
java.lang.String	toString() Returns a String representation of the condition.

Methods inherited from class gov.nasa.arc.brahms.common.data.Condition

getComparison, getOwner, getParameters, getTruthValue, getTruthValueAsString, getVariables, setComparison, setOwner, setOwner, setOwner, setTruthValue, toSource

Methods inherited from class gov.nasa.arc.brahms.common.data.BrahmsObject

delete, export, getFile, getID, getLine, getSerialNumber, isBCC, isDynamic, isLoaded, isResolved, setBCC, setDynamic, setFile, setID, setLine, setLoaded, setResolved, setSerialNumber

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Precondition

public Precondition()

Constructor, creates a new empty Precondition.

Precondition

public Precondition(Comparison c)

Constructor, creates a new precondition specified by the given comparison.

Parameters:

c - the Comparison specifying the condition of the precondition.

Precondition

public Precondition(Comparison c,
                    int truth)

Constructor, creates a new precondition specified by the given comparison and with the specified truth-value.

Parameters:

c - the Comparison specifying the condition of the precondition.

truth - the truth value of the precondition

Precondition

public Precondition(int modifier,
                    Comparison c)

Constructor, creates a new precondition specified by the given comparison with the specified modifier.

Parameters:

modifier - the precondition's modifier (KNOWNVAL_MODIFIER, KNOWN_MODIFIER, UNKNOWN_MODIFIER, NOT_MODIFIER)

c - the Comparison specifying the condition of the precondition.

See Also:

IConstants.KNOWNVAL_MODIFIER, IConstants.KNOWN_MODIFIER, IConstants.UNKNOWN_MODIFIER, IConstants.NOT_MODIFIER

Precondition

public Precondition(int modifier,
                    Comparison c,
                    int truth)

Constructor, creates a new precondition specified by the given comparison with the specified modifier and truth value.

Parameters:

modifier - the precondition's modifier (KNOWNVAL, KNOWN, UNKNOWN, NOT)

c - the Comparison specifying the condition of the precondition.

truth - the truth value of the precondition

See Also:

IConstants.KNOWNVAL_MODIFIER, IConstants.KNOWN_MODIFIER, IConstants.UNKNOWN_MODIFIER, IConstants.NOT_MODIFIER

Method Detail

setID

protected void setID()

Sets the unique identifier.

Overrides:

setID in class BrahmsObject

setModifier

public void setModifier(int modifier)

getModifier

public int getModifier()

toString

public java.lang.String toString()

Description copied from class: Condition

Returns a String representation of the condition.

Overrides:

toString in class Condition

Returns:

String the stringified condition