@Test public void testVisit() { ActionVisitor visitor = mock(ActionVisitor.class); a.visit(visitor); verify(visitor).visit(a); }
@Override public Object visit(ActionVisitor v) { return v.visit(this); }
KillVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } }
KillVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } KillVM(VM vm, Node on, int start, int end); }
KillVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } KillVM(VM vm, Node on, int start, int end); Node getNode(); @Override VM getVM(); @Override boolean applyAction(Model i); @Override boolean equals(Object o); @Override int hashCode(); @Override String pretty(); @Override VMState getCurrentState(); @Override VMState getNextState(); @Override Object visit(ActionVisitor v); }
KillVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } KillVM(VM vm, Node on, int start, int end); Node getNode(); @Override VM getVM(); @Override boolean applyAction(Model i); @Override boolean equals(Object o); @Override int hashCode(); @Override String pretty(); @Override VMState getCurrentState(); @Override VMState getNextState(); @Override Object visit(ActionVisitor v);  }