public class TransformationBreakpoint extends java.lang.Object implements ITransformationBreakpoint
TransformationDebugListener
class.Constructor and Description |
---|
TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification) |
TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification,
org.eclipse.viatra.transformation.evm.api.event.ActivationState activationState) |
TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification,
java.lang.Object eventAtom) |
TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification,
java.lang.Object eventAtom,
org.eclipse.viatra.transformation.evm.api.event.ActivationState activationState) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.viatra.transformation.evm.api.event.ActivationState |
getActivationState() |
java.lang.Object |
getEventAtom() |
org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> |
getRuleSpecification() |
boolean |
shouldBreak(org.eclipse.viatra.transformation.evm.api.Activation<?> a)
Checks if the given EVM rule activation matches the specified transformation breakpoint.
|
public TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification, java.lang.Object eventAtom, org.eclipse.viatra.transformation.evm.api.event.ActivationState activationState)
public TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification)
public TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification, org.eclipse.viatra.transformation.evm.api.event.ActivationState activationState)
public TransformationBreakpoint(org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> ruleSpecification, java.lang.Object eventAtom)
public org.eclipse.viatra.transformation.evm.api.RuleSpecification<?> getRuleSpecification()
public java.lang.Object getEventAtom()
public org.eclipse.viatra.transformation.evm.api.event.ActivationState getActivationState()
public boolean shouldBreak(org.eclipse.viatra.transformation.evm.api.Activation<?> a)
shouldBreak
in interface ITransformationBreakpoint
a
-