public class ContextSpecKeyed extends Object implements ContextSpec
Constructor and Description |
---|
ContextSpecKeyed(List<ContextSpecKeyedItem> items,
List<ContextSpecConditionFilter> optionalInit,
ContextSpecCondition optionalTermination) |
Modifier and Type | Method and Description |
---|---|
List<ContextSpecKeyedItem> |
getItems() |
List<ContextSpecConditionFilter> |
getOptionalInit() |
ContextSpecCondition |
getOptionalTermination() |
CodegenExpression |
makeCodegen(CodegenMethodScope parent,
SAIFFInitializeSymbol symbols,
CodegenClassScope classScope) |
void |
setMultiKeyClassRef(MultiKeyClassRef multiKeyClassRef) |
void |
setOptionalTermination(ContextSpecCondition optionalTermination) |
public ContextSpecKeyed(List<ContextSpecKeyedItem> items, List<ContextSpecConditionFilter> optionalInit, ContextSpecCondition optionalTermination)
public List<ContextSpecKeyedItem> getItems()
public ContextSpecCondition getOptionalTermination()
public void setOptionalTermination(ContextSpecCondition optionalTermination)
public void setMultiKeyClassRef(MultiKeyClassRef multiKeyClassRef)
public List<ContextSpecConditionFilter> getOptionalInit()
public CodegenExpression makeCodegen(CodegenMethodScope parent, SAIFFInitializeSymbol symbols, CodegenClassScope classScope)
Copyright © 2005–2021. All rights reserved.