Package ora4mas.light
Class LightNormativeBoard
- java.lang.Object
-
- cartago.Artifact
-
- ora4mas.nopl.OrgArt
-
- ora4mas.nopl.NormativeBoard
-
- ora4mas.light.LightNormativeBoard
-
- All Implemented Interfaces:
ToXML
,npl.DynamicFactsProvider
public class LightNormativeBoard extends NormativeBoard
Artifact to manage a normative program (NPL)
Operations (see details in the methods list below):- load a NPL program
- addFact
- removeFact
- addNorm
- obligation(ag,reason,goal,deadline): current active obligations.
e.g.
obligation(bob,n4,committed(ag2,mBib,s1),1475417322254)
- Author:
- Jomi
- See Also:
SchemeBoard
-
-
Field Summary
Fields Modifier and Type Field Description (package private) npl.NormFactory
factory
(package private) int
id
protected java.util.logging.Logger
logger
-
Fields inherited from class ora4mas.nopl.NormativeBoard
dynProviders, normBoards
-
Fields inherited from class ora4mas.nopl.OrgArt
dfpListeners, gui, myNPLListener, nengine, oeId, orgBoardName, orgState, ownerAgent, running, runningDestroy, sglDestroyed, sglNormFailure, sglOblCreated, sglOblFulfilled, sglOblInactive, sglOblUnfulfilled, updateGUIThread
-
-
Constructor Summary
Constructors Constructor Description LightNormativeBoard()
-
Method Summary
Modifier and Type Method Description void
addNorm(java.lang.String type, java.lang.String role, java.lang.String mission)
-
Methods inherited from class ora4mas.nopl.NormativeBoard
addFact, consult, debug, destroy, getAsDOM, getDebugText, getNormativeBoards, getNPLSrc, getStyleSheetName, init, isRelevant, load
-
Methods inherited from class ora4mas.nopl.OrgArt
agKilled, debug, fixAgName, fixOSFile, getArtId, getAsDot, getLogger, getNormativeEngine, getNSTransformer, getOEId, getOpUserName, getParser, getStyleSheet, initNormativeEngine, initWspRuleEngine, installNormativeSignaler, isUserAllowed, ora4masOperationTemplate, postReorgUpdates, setOrgBoardName, setOwner, specToStr, updateGuiOE
-
Methods inherited from class cartago.Artifact
await, await, await_time, beginExtSession, commit, defineNewOp, defineObsProperty, defineOp, delay, dispose, dispose, endExtSession, endExtSessionWithFailure, execInternalOp, execLinkedOp, execLinkedOp, failed, failed, getCreatorId, getCurrentOpAgentBody, getCurrentOpAgentId, getId, getLinkedArtifacts, getManualSrcFile, getObservabilityRadius, getObsProperty, getObsPropertyByTemplate, getOpKey, getPosition, hasObsProperty, hasObsPropertyByTemplate, isLinked, log, lookupArtifact, makeArtifact, removeObsProperty, removeObsPropertyByTemplate, removeOp, setupOperations, setupPosition, signal, signal, updateObservabilityRadius, updateObsProperty, updatePosition
-
-
-
-
Method Detail
-
addNorm
public void addNorm(java.lang.String type, java.lang.String role, java.lang.String mission) throws MoiseException, npl.parser.ParseException
- Throws:
MoiseException
npl.parser.ParseException
-
-