Commit 7bf5c030 authored by Vivek Nigam's avatar Vivek Nigam
Browse files

Added a new constraint.

refs 3224
parent a462d9ed
AF3SpecificationUIActivator.java e2470acbdd7b92f6d93c94ea5e1f4626b7380760 RED
AF3SpecificationUIActivator.java 86bf3fd311c405aa57bf07a4d8575da72021f612 YELLOW
......@@ -17,6 +17,7 @@ package org.fortiss.af3.specification.ui;
import org.eclipse.jface.resource.ImageDescriptor;
import org.eclipse.ui.plugin.AbstractUIPlugin;
import org.fortiss.af3.specification.constraint.AdmissibleNoVALConstraint;
import org.fortiss.af3.specification.constraint.BoundsConstraint;
import org.fortiss.af3.specification.constraint.ContractConstraint;
import org.fortiss.af3.specification.constraint.DeterminismConstraint;
......@@ -24,6 +25,7 @@ import org.fortiss.af3.specification.constraint.InterfaceTraceMatchConstraint;
import org.fortiss.af3.specification.constraint.ReachabilityConstraint;
import org.fortiss.af3.specification.constraint.TLSpecificationConstraint;
import org.fortiss.af3.specification.constraint.TopComponentSignalsConstraint;
import org.fortiss.af3.specification.ui.constraint.AdmissibleNoValUI;
import org.fortiss.af3.specification.ui.constraint.BoundsConstraintUI;
import org.fortiss.af3.specification.ui.constraint.ContractConstraintUI;
import org.fortiss.af3.specification.ui.constraint.DeterminismConstraintUI;
......@@ -69,6 +71,7 @@ public class AF3SpecificationUIActivator extends AbstractUIPlugin {
InterfaceTraceMatchConstraint.class);
cuis.registerConstraintUI(TopComponentSignalsConstraintUI.class,
TopComponentSignalsConstraint.class);
cuis.registerConstraintUI(AdmissibleNoValUI.class, AdmissibleNoVALConstraint.class);
}
/** {@inheritDoc} */
......
AF3SpecificationActivator.java 09dd00dd4380424c870b2c61a458cd3ef97391cd RED
AF3SpecificationActivator.java 71c3412d74c7f9a1c9a0916d0a284ad9e9c4120e YELLOW
package org.fortiss.af3.specification;
import org.eclipse.core.runtime.Plugin;
import org.fortiss.af3.specification.constraint.AdmissibleNoVALConstraint;
import org.fortiss.af3.specification.constraint.BoundsConstraint;
import org.fortiss.af3.specification.constraint.ContractConstraint;
import org.fortiss.af3.specification.constraint.DeterminismConstraint;
......@@ -42,6 +43,7 @@ public class AF3SpecificationActivator extends Plugin {
IConstraintService.getInstance().registerConstraint(ContractConstraint.class);
IConstraintService.getInstance().registerConstraint(InterfaceTraceMatchConstraint.class);
IConstraintService.getInstance().registerConstraint(TopComponentSignalsConstraint.class);
IConstraintService.getInstance().registerConstraint(AdmissibleNoVALConstraint.class);
}
/** {@inheritDoc} */
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment