public static class BlockContract.Terms extends Object
Modifier and Type | Field and Description |
---|---|
Map<Label,Term> |
breakFlags |
Map<Label,Term> |
continueFlags |
Term |
exception |
Map<LocationVariable,Term> |
remembranceHeaps |
Map<LocationVariable,Term> |
remembranceLocalVariables |
Term |
result |
Term |
returnFlag |
Term |
self |
public final Term self
public final Term returnFlag
public final Term result
public final Term exception
public final Map<LocationVariable,Term> remembranceHeaps
public final Map<LocationVariable,Term> remembranceLocalVariables