|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectstory.scheherazade.parameters.SCHParameter
story.scheherazade.parameters.StoryAssertionParameter
story.scheherazade.parameters.ValidPropositionParameter
public class ValidPropositionParameter
An SCHParameter which means "require a proposition -- an action, condition or nested timeline."
Constructor Summary | |
---|---|
ValidPropositionParameter(SemanticRole role,
TimelineID scopeTimeline,
PredicateModeSet modesAllowed)
Constructor to match any proposition in the scope of the argued timeline, other than the argued Timeline itself. |
Method Summary | |
---|---|
boolean |
allowsMode(PredicateMode mode)
|
PredicateModeSet |
getAllowedModes()
|
SemanticRole |
getRole()
The semantic role of this parameter in the overall assertion. |
SCHParameter |
makeCopy()
Make a copy of the Parameter at the level of the concretizing class |
SCHReferenceReqSet |
referenceRequirements()
Each concretizing class needs to provide a ReferenceReqSet of all the references which must be set prior to the parameter's evaluation. |
SCHVariableType |
referenceType()
|
java.lang.StringBuffer |
specificRender()
Each concretizing class needs to provide a render function. |
Methods inherited from class story.scheherazade.parameters.SCHParameter |
---|
makeClone, render |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ValidPropositionParameter(SemanticRole role, TimelineID scopeTimeline, PredicateModeSet modesAllowed) throws Scheherexception
Scheherexception
Method Detail |
---|
public PredicateModeSet getAllowedModes()
public boolean allowsMode(PredicateMode mode)
public SemanticRole getRole()
StoryAssertionParameter
getRole
in class StoryAssertionParameter
public SCHReferenceReqSet referenceRequirements()
SCHParameter
referenceRequirements
in class SCHParameter
public java.lang.StringBuffer specificRender() throws Scheherexception
SCHParameter
specificRender
in class SCHParameter
Scheherexception
public SCHParameter makeCopy()
SCHParameter
makeCopy
in class SCHParameter
public SCHVariableType referenceType()
referenceType
in class StoryAssertionParameter
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |