|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object gov.nasa.arc.brahms.common.rt.BrahmsObjectCtx gov.nasa.arc.brahms.common.rt.StatementCtx gov.nasa.arc.brahms.common.rt.FactCtx
public class FactCtx
The FactCtx maintains information about a fact created in the world. The fact context defines when the fact is created and what created the fact.
Field Summary |
---|
Fields inherited from interface gov.nasa.arc.brahms.common.rt.IRuntimeConstants |
---|
ABORTED, ACTIVE, ACTIVITY, AVAILABLE, COMPLETED, CONSEQUENCE, DETECTABLE, ENDED, ENGINE, EXTERNAL_AGENT, FROM, IMPASSED, INITIAL, INTERRUPTED, JAVA_PROPERTY, sABORTED, sACTIVE, sAVAILABLE, sCOMPLETED, sENDED, sIMPASSED, sINTERRUPTED, sUNAVAILABLE, TO, TRANSFER, UNAVAILABLE |
Constructor Summary | |
---|---|
FactCtx(Statement fact)
Constructor, creates a fact context for the specified fact |
|
FactCtx(Statement fact,
int sourceType,
IBrahmsObjectCtx source)
Constructor, creates a fact context for the specified fact. |
Method Summary | |
---|---|
java.lang.String |
toString()
Returns the string representation of the fact context, returning 'fact' followed by the fact itself. |
Methods inherited from class gov.nasa.arc.brahms.common.rt.StatementCtx |
---|
getSource, getSourceType, setSource, setSourceType |
Methods inherited from class gov.nasa.arc.brahms.common.rt.BrahmsObjectCtx |
---|
addNote, getContextFor, getEndTime, getID, getNote, getNotes, getStartTime, removeNote, setContextFor, setEndTime, setID, setStartTime |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface gov.nasa.arc.brahms.common.rt.IStatementCtx |
---|
getSource, getSourceType, setSource, setSourceType |
Methods inherited from interface gov.nasa.arc.brahms.common.rt.IBrahmsObjectCtx |
---|
addNote, getContextFor, getEndTime, getID, getNote, getNotes, getStartTime, removeNote, setEndTime, setID, setStartTime |
Constructor Detail |
---|
public FactCtx(Statement fact) throws gov.nasa.arc.brahms.common.exceptions.BrahmsException
fact
- the fact for which this is context
gov.nasa.arc.brahms.common.exceptions.BrahmsException
public FactCtx(Statement fact, int sourceType, IBrahmsObjectCtx source) throws gov.nasa.arc.brahms.common.exceptions.BrahmsException
fact
- the Statement for which this is a contextsourceType
- the source typesource
- the IBrahmsObjectCtx causing the creation of the statement
gov.nasa.arc.brahms.common.exceptions.BrahmsException
- if an invalid source type or source is specifiedIRuntimeConstants.INITIAL
,
IRuntimeConstants.CONSEQUENCE
,
IRuntimeConstants.DETECTABLE
,
IRuntimeConstants.TRANSFER
,
IRuntimeConstants.ACTIVITY
,
IRuntimeConstants.ENGINE
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |