public class ContextSpecInitiatedTerminated extends Object implements ContextSpec
Constructor and Description |
---|
ContextSpecInitiatedTerminated(ContextSpecCondition startCondition,
ContextSpecCondition endCondition,
boolean overlapping,
ExprNode[] distinctExpressions) |
Modifier and Type | Method and Description |
---|---|
ExprNode[] |
getDistinctExpressions() |
ContextSpecCondition |
getEndCondition() |
ContextSpecCondition |
getStartCondition() |
boolean |
isOverlapping() |
CodegenExpression |
makeCodegen(CodegenMethodScope parent,
SAIFFInitializeSymbol symbols,
CodegenClassScope classScope) |
void |
setEndCondition(ContextSpecCondition endCondition) |
void |
setStartCondition(ContextSpecCondition startCondition) |
public ContextSpecInitiatedTerminated(ContextSpecCondition startCondition, ContextSpecCondition endCondition, boolean overlapping, ExprNode[] distinctExpressions)
public ContextSpecCondition getStartCondition()
public ContextSpecCondition getEndCondition()
public void setStartCondition(ContextSpecCondition startCondition)
public void setEndCondition(ContextSpecCondition endCondition)
public boolean isOverlapping()
public ExprNode[] getDistinctExpressions()
public CodegenExpression makeCodegen(CodegenMethodScope parent, SAIFFInitializeSymbol symbols, CodegenClassScope classScope)
Copyright © 2005–2018. All rights reserved.