public class KahinaCodeLinePropertySensor extends KahinaStepPropertySensor
Constructor and Description |
---|
KahinaCodeLinePropertySensor(KahinaControlAgent controlPoint,
LogicProgrammingState state,
KahinaCodeLineProperty line) |
Modifier and Type | Method and Description |
---|---|
KahinaCodeLinePropertySensor |
copy(KahinaControlAgent controlPoint) |
void |
copyDataInto(KahinaCodeLinePropertySensor copy) |
boolean |
detectPattern(int stepID)
Returns true iff a step has the property detected by this sensor.
|
KahinaSourceCodeLocation |
getCodeLocation()
Gets the source code location associated with this control point.
|
KahinaState |
getState() |
KahinaCodeLineProperty |
getStepProperty() |
void |
setCodeLocation(KahinaSourceCodeLocation location)
Associates this control point with a source code location.
|
void |
setState(LogicProgrammingState state) |
copyDataInto
public KahinaCodeLinePropertySensor(KahinaControlAgent controlPoint, LogicProgrammingState state, KahinaCodeLineProperty line)
public KahinaCodeLinePropertySensor copy(KahinaControlAgent controlPoint)
copy
in class KahinaStepPropertySensor
public void copyDataInto(KahinaCodeLinePropertySensor copy)
public KahinaCodeLineProperty getStepProperty()
getStepProperty
in class KahinaStepPropertySensor
public KahinaSourceCodeLocation getCodeLocation()
public void setCodeLocation(KahinaSourceCodeLocation location)
pattern
- the step pattern to be associated with this control pointpublic KahinaState getState()
public void setState(LogicProgrammingState state)
public boolean detectPattern(int stepID)
KahinaStepPropertySensor
detectPattern
in class KahinaStepPropertySensor
stepID
- ID of the step which the sensor is to detect for its property.