PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

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

http://testability-explorer.googlecode.com/
Java | 40 lines | 18 code | 7 blank | 15 comment | 0 complexity | b41ac75c99869ec3bb8d792bdd912436 MD5 | raw file
 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 ReturnOperation extends Operation {
22
23  private final Variable value;
24
25  public ReturnOperation(int lineNumber, Variable value) {
26    super(lineNumber);
27    this.value = value;
28  }
29
30  @Override
31  public void visit(TestabilityVisitor.Frame visitor) {
32    visitor.setReturnValue(value);
33  }
34
35  @Override
36  public String toString() {
37    return "return " + value;
38  }
39
40}