← Back to branch summary

~danilovesky/workcraft/trunk-stg-transform-tools

« back to all changes in this revision

Viewing changes to MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatModule.java

  • Committer: Danil Sokolov
  • Date: 2014-04-17 15:37:45 UTC
  • mfrom: (497.2.2 workcraft-trunk)
  • Revision ID: danilovesky@gmail.com-20140417153745-fjc6p4aa1prpg2mc
Merged with the trunk changes.

Show diffs side-by-side

added added

removed removed

Lines of Context:
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatModule.java
7
7
import org.workcraft.gui.propertyeditor.SettingsPage;
8
8
import org.workcraft.plugins.mpsat.tools.CscResolutionTool;
9
9
import org.workcraft.plugins.mpsat.tools.CustomPropertyMpsatChecker;
 
10
import org.workcraft.plugins.mpsat.tools.MpsatConsistencyChecker;
 
11
import org.workcraft.plugins.mpsat.tools.MpsatCscChecker;
10
12
import org.workcraft.plugins.mpsat.tools.MpsatDeadlockChecker;
 
13
import org.workcraft.plugins.mpsat.tools.MpsatNormalcyChecker;
 
14
import org.workcraft.plugins.mpsat.tools.MpsatPersistencyChecker;
11
15
import org.workcraft.plugins.mpsat.tools.MpsatSynthesis;
 
16
import org.workcraft.plugins.mpsat.tools.MpsatUscChecker;
12
17
import org.workcraft.plugins.pcomp.PcompUtilitySettings;
13
18
import org.workcraft.plugins.pcomp.tools.PcompTool;
14
19
 
15
 
public class MPSatModule implements Module {
 
20
public class MpsatModule implements Module {
16
21
 
17
22
        @Override
18
23
        public void init(Framework framework) {
21
26
                p.registerClass(Tool.class, CscResolutionTool.class, framework);
22
27
                p.registerClass(Tool.class, MpsatSynthesis.class, framework);
23
28
                p.registerClass(Tool.class, MpsatDeadlockChecker.class, framework);
 
29
                p.registerClass(Tool.class, MpsatConsistencyChecker.class, framework);
 
30
                p.registerClass(Tool.class, MpsatPersistencyChecker.class, framework);
 
31
                p.registerClass(Tool.class, MpsatNormalcyChecker.class, framework);
 
32
                p.registerClass(Tool.class, MpsatCscChecker.class, framework);
 
33
                p.registerClass(Tool.class, MpsatUscChecker.class, framework);
24
34
                p.registerClass(Tool.class, CustomPropertyMpsatChecker.class, framework);
25
35
                
26
36
                p.registerClass(SettingsPage.class, MpsatUtilitySettings.class);