4849505152535455565758
private static ObjectLabel[] labels; @BeforeClass static public void setup() { utils = new TestUtils(); Operation op; Predicate trigger; Predicate req; List<Effect> effects = new LinkedList<Effect>();
18192021222324
public class TestOrPred { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
public class TestSimplePred { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
public class TestImpliesPred { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
27282930313233
public class TestEOMOp { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
24252627282930
public class TestNewObjectInstructionOp { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
28293031323334
public class TestBeginOfMethodOp { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
public class TestMethodInvocationOp { static TestUtils utils; @BeforeClass static public void setup() { utils = new TestUtils(); }
4546474849505152535455
private static ObjectLabel[] labels; @BeforeClass static public void setup() { utils = new TestUtils(); Operation op; Predicate trigger; Predicate rst;
4142434445464748495051
static TestUtils utils; private static ObjectLabel[] labels; @BeforeClass static public void setup() { utils = new TestUtils(); Operation op; Predicate trigger; Predicate req; List<Effect> effects = new LinkedList<Effect>();