@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); }
SuspendVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } }
SuspendVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } SuspendVM(VM v, Node from, Node to, int start, int end); }
SuspendVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } SuspendVM(VM v, Node from, Node to, int start, int end); @Override String pretty(); @Override boolean applyAction(Model m); @Override boolean equals(Object o); @Override int hashCode(); Node getDestinationNode(); Node getSourceNode(); @Override VM getVM(); @Override VMState getCurrentState(); @Override VMState getNextState(); @Override Object visit(ActionVisitor v); }
SuspendVM extends Action implements VMStateTransition { @Override public Object visit(ActionVisitor v) { return v.visit(this); } SuspendVM(VM v, Node from, Node to, int start, int end); @Override String pretty(); @Override boolean applyAction(Model m); @Override boolean equals(Object o); @Override int hashCode(); Node getDestinationNode(); Node getSourceNode(); @Override VM getVM(); @Override VMState getCurrentState(); @Override VMState getNextState(); @Override Object visit(ActionVisitor v);  }