/testability-explorer/src/main/java/com/google/test/metric/method/op/turing/LocalAssignment.java

 1/*
 2 * Copyright 2007 Google Inc.
 3 *
 4 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 5 * use this file except in compliance with the License. You may obtain a copy of
 6 * the License at
 7 *
 8 * http://www.apache.org/licenses/LICENSE-2.0
 9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
12 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
13 * License for the specific language governing permissions and limitations under
14 * the License.
15 */
16package com.google.test.metric.method.op.turing;
17
18import com.google.test.metric.TestabilityVisitor;
19import com.google.test.metric.Variable;
20
21public class LocalAssignment extends Operation {
22
23  private final Variable value;
24  private final Variable variable;
25
26  public LocalAssignment(int lineNumber, Variable dst, Variable value) {
27    super(lineNumber);
28    this.value = value;
29    this.variable = dst;
30  }
31
32  public Variable getVariable() {
33    return variable;
34  }
35
36  public Variable getValue() {
37    return value;
38  }
39
40  @Override
41  public String toString() {
42    return variable + " <- " + value;
43  }
44
45  @Override
46  public void visit(TestabilityVisitor.Frame visitor) {
47    visitor.assignLocal(getLineNumber(), variable, value);
48  }
49}