Examples of loadData()

Examples of statechum.analysis.learning.Smt.loadData()

78
79
80
81
82
83
84
85
86
87
88
    Smt smtA = new Smt();
   
    smtA.loadData("(define x::int)\n(assert (> x 1))");
    Assert.assertTrue(smtA.check());
    smtA.pushContext();
    smtA.loadData("(assert (< x 0))");
   
    Smt smtB = new Smt();
    smtB.loadData("(define x::int)\n(define y::int)\n(assert (< y 0))");
    Assert.assertTrue(smtB.check());
    Assert.assertFalse(smtA.check());
View Full Code Here

Examples of statechum.analysis.learning.Smt.loadData()

81
82
83
84
85
86
87
88
89
90
91
    Assert.assertTrue(smtA.check());
    smtA.pushContext();
    smtA.loadData("(assert (< x 0))");
   
    Smt smtB = new Smt();
    smtB.loadData("(define x::int)\n(define y::int)\n(assert (< y 0))");
    Assert.assertTrue(smtB.check());
    Assert.assertFalse(smtA.check());
    Assert.assertTrue(smtB.check());
    smtA.popContext();
    smtB.loadData("(assert (> y 4))");
View Full Code Here

Examples of statechum.analysis.learning.Smt.loadData()

86
87
88
89
90
91
92
93
94
95
96
    smtB.loadData("(define x::int)\n(define y::int)\n(assert (< y 0))");
    Assert.assertTrue(smtB.check());
    Assert.assertFalse(smtA.check());
    Assert.assertTrue(smtB.check());
    smtA.popContext();
    smtB.loadData("(assert (> y 4))");
    Assert.assertTrue(smtA.check());
    Assert.assertFalse(smtB.check());
    smtA.finalize();
    Smt.reopenStdOut();
  }
View Full Code Here

Examples of statechum.analysis.learning.Smt.loadData()

99
100
101
102
103
104
105
106
107
108
109
  @Test
  public void testYices_error1()
  {
   
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException {
      Smt smt = new Smt();smt.loadData("(define x::int)\n(assert (A> x 1))");
    }}, IllegalArgumentException.class,"Undefined name \"A>\"");
  }
 
  /** Checks that if type checking is not enabled, the error goes undetected. */
  @Test
 
View Full Code Here

Examples of statechum.analysis.learning.Smt.loadData()

108
109
110
111
112
113
114
115
116
117
118
  /** Checks that if type checking is not enabled, the error goes undetected. */
  @Test
  public void testYices_error2_not_reported()
  {
    Smt.configureYices(-1, false);
    Smt smt = new Smt();smt.loadData("(define x::bool)\n(assert (> x 1))");
  }
 
  /** Cannot parse - type error. */
  @Test
  public void testYices_error2()
View Full Code Here

Examples of statechum.analysis.learning.Smt.loadData()

116
117
118
119
120
121
122
123
124
125
126
  /** Cannot parse - type error. */
  @Test
  public void testYices_error2()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException {
      Smt smt = new Smt();smt.loadData("(define x::bool)\n(assert (> x 1))");
    }}, IllegalArgumentException.class,"argument is not a numeral");
  }
 
  /** Check if a field can be correctly extracted. */
  @Test(expected=IllegalArgumentException.class)
 
View Full Code Here

Examples of statechum.analysis.learning.Smt.loadData()

1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
  {
    Smt solver = getSolver();
    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;   
  }
 
  /** Extracts an ID of a supplied vertex. */
 
View Full Code Here

Examples of xgenerator.ui.swing.model.DatasourceComboBoxModel.loadData()

301
302
303
304
305
306
307
308
309
310
311
      public void popupMenuWillBecomeInvisible(PopupMenuEvent e) {
      }

      public void popupMenuWillBecomeVisible(PopupMenuEvent e) {
        DatasourceComboBoxModel datasourceComboBoxModel = (DatasourceComboBoxModel) dataSourceComboBox.getModel();
        datasourceComboBoxModel.loadData();
      }
    });
   
    /*
    this.datasourceComboBox.addItemListener(new ItemListener() {
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.