public MethodCallVisitor(VisitOperationIntr opr, InteractionState ist) { operation = null; operationIntr = opr; this.ist = ist; }
public MethodCallVisitor(VisitOperationIntr opr, InteractionState ist) { operation = null; operationIntr = opr; this.ist = ist; }