Examples of IRunCrystalCommand

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

86
87
88
89
90
91
92
93
94
95
96
      Job j = new Job("Crystal") {

        @Override
        protected IStatus run(IProgressMonitor monitor) {
          final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
          IRunCrystalCommand run_command = new IRunCrystalCommand(){
            public Set<String> analyses() {  return enabled;  }
            public List<ICompilationUnit> compilationUnits() {
              return compUnits;
            }
            public IAnalysisReporter reporter() {
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

59
60
61
62
63
64
65
66
67
68
69
      @Override
      protected IStatus run(IProgressMonitor monitor) {
        final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
        final List<ICompilationUnit> cus = WorkspaceUtilities.scanForCompilationUnits();
       
        IRunCrystalCommand run_command = new IRunCrystalCommand(){
          public Set<String> analyses() { return enabled;  }
          public List<ICompilationUnit> compilationUnits() {
            if(cus == null)
              return emptyList();
            else return unmodifiableList(cus);
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

50
51
52
53
54
55
56
57
58
59
60
      protected IStatus run(IProgressMonitor monitor) {
        final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
        final List<ITypeRoot> cus = WorkspaceUtilities.scanForCompilationUnits(
            CrystalPreferences.getIncludeArchives());
       
        IRunCrystalCommand run_command = new IRunCrystalCommand(){
          public Set<String> analyses() { return enabled;  }
          public List<ITypeRoot> compilationUnits() { return cus; }
          public IAnalysisReporter reporter() {
            return new StandardAnalysisReporter();
          }
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

90
91
92
93
94
95
96
97
98
99
100
      Job j = new Job("Crystal") {

        @Override
        protected IStatus run(IProgressMonitor monitor) {
          final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
          IRunCrystalCommand run_command = new IRunCrystalCommand(){
            public Set<String> analyses() {  return enabled;  }
            public Collection<ITypeRoot> compilationUnits() {
              return compUnits;
            }
            public IAnalysisReporter reporter() {
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

310
311
312
313
314
315
316
317
318
319
320
    // Boxed integer which will be incremented every time an error is reported
    final Box<Integer> failures_encountered = Box.box(0);

    // Create run command
    IRunCrystalCommand run_command = new IRunCrystalCommand() {
      public Set<String> analyses() {
        return AnnotatedTest.this.test.analysisToRun;
      }

      public List<ICompilationUnit> compilationUnits() {
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

360
361
362
363
364
365
366
367
368
369
370
    // Boxed integer which will be incremented every time an error is reported
    final Box<Integer> failures_encountered = Box.box(0);

    // Create run command
    IRunCrystalCommand run_command = new IRunCrystalCommand() {
      public Set<String> analyses() {
        Set<String> singleSet = new HashSet<String>();
        singleSet.add(AnnotatedTest.this.test.analysisToRun);
        return singleSet;
      }
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

60
61
62
63
64
65
66
67
68
69
70
      protected IStatus run(IProgressMonitor monitor) {
        final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
        final List<ITypeRoot> cus = WorkspaceUtilities.scanForCompilationUnits(
            CrystalPreferences.getIncludeArchives());
       
        IRunCrystalCommand run_command = new IRunCrystalCommand(){
          public Set<String> analyses() { return enabled;  }
          public List<ITypeRoot> compilationUnits() {
            if(cus == null)
              return emptyList();
            else return unmodifiableList(cus);
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

87
88
89
90
91
92
93
94
95
96
97
    Job j = new Job("Crystal") {

      @Override
      protected IStatus run(IProgressMonitor monitor) {
        final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
        IRunCrystalCommand run_command = new IRunCrystalCommand(){
          public Set<String> analyses() {  return enabled;  }
          public List<ICompilationUnit> compilationUnits() {
            return compUnits;
          }
          public IAnalysisReporter reporter() {
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

49
50
51
52
53
54
55
56
57
58
59
      @Override
      protected IStatus run(IProgressMonitor monitor) {
        final Set<String> enabled = AbstractCrystalPlugin.getEnabledAnalyses();
        final List<ICompilationUnit> cus = WorkspaceUtilities.scanForCompilationUnits();
       
        IRunCrystalCommand run_command = new IRunCrystalCommand(){
          public Set<String> analyses() { return enabled;  }
          public List<ICompilationUnit> compilationUnits() { return cus; }
          public IAnalysisReporter reporter() {
            return new StandardAnalysisReporter();
          }
View Full Code Here

Examples of edu.cmu.cs.crystal.IRunCrystalCommand

25
26
27
28
29
30
31
32
33
34
35
      final ITypeRoot unit = compUnit = root;
      Job j = new Job("Fusion Debugger") {
       
        @Override
        protected IStatus run(IProgressMonitor monitor) {
          IRunCrystalCommand command = new FusionDebuggingCommand(unit);
         
          AbstractCrystalPlugin.getCrystalInstance().runAnalyses(command, monitor);
          if (monitor.isCanceled())
            return Status.CANCEL_STATUS;
          return Status.OK_STATUS;
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.