ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnCondition

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCondition
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
CoopnAtomicCondition, CoopnConditionBinOp, CoopnConditionUnOp, CoopnTypeCondition

public abstract class CoopnCondition
extends CoopnElement

Coopn type.

See Also:
CoopnElement, Serialized Form

Constructor Summary
CoopnCondition()
           
 
Method Summary
 boolean isPositive()
          Checks if the condition is positive.
abstract  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toCompleteTextTerm(CoopnSymbolTable table)
          Get the complete textual term representing the type.
abstract  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toTextTerm()
          Get the textual term representing the condition.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
clone, cloneCoopnElement, equals, hashCode, interpret, pureCOIL, pureCOOPN, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens, unmodifiableCopy
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CoopnCondition

public CoopnCondition()
Method Detail

isPositive

public boolean isPositive()
Checks if the condition is positive. Must be correctly updated into the subclasses.
Returns:
true iff the condition id based on atoms and conjunctions.

toTextTerm

public abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toTextTerm()
Get the textual term representing the condition. Actually, a condition may be represented by a unique term.
Returns:
The textual term representing the condition.

toCompleteTextTerm

public abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toCompleteTextTerm(CoopnSymbolTable table)
Get the complete textual term representing the type. Actually, a type may be represented by a unique term.
Returns:
The complete textual term representing the type.