heros.fieldsens

Interface FlowFunction.Constraint<FieldRef>

All Known Implementing Classes:

DeltaConstraint, FlowFunction.ReadFieldConstraint, FlowFunction.WriteFieldConstraint

Enclosing interface:

FlowFunction<FieldRef,D,Stmt,Method>

public static interface FlowFunction.Constraint<FieldRef>

Method Summary

Modifier and Type	Method and Description
AccessPath<FieldRef>	applyToAccessPath(AccessPath<FieldRef> accPath)
boolean	canBeAppliedTo(AccessPath<FieldRef> accPath)

Method Detail

applyToAccessPath

AccessPath<FieldRef> applyToAccessPath(AccessPath<FieldRef> accPath)

canBeAppliedTo

boolean canBeAppliedTo(AccessPath<FieldRef> accPath)