/testability-explorer/src/main/java/com/google/test/metric/method/op/stack/ArrayStore.java

http://testability-explorer.googlecode.com/ · Java · 56 lines · 32 code · 9 blank · 15 comment · 1 complexity · 81841bf99c7619b21ed66927c9cff2fe 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. */
  16. package com.google.test.metric.method.op.stack;
  17. import java.util.List;
  18. import com.google.test.metric.JavaType;
  19. import com.google.test.metric.Type;
  20. import com.google.test.metric.Variable;
  21. import com.google.test.metric.method.op.turing.ArrayAssignment;
  22. import com.google.test.metric.method.op.turing.Operation;
  23. public class ArrayStore extends StackOperation {
  24. private final Type type;
  25. public ArrayStore(int lineNumber, Type type) {
  26. super(lineNumber);
  27. this.type = type;
  28. }
  29. @Override
  30. public int getOperatorCount() {
  31. return 2 + (JavaType.isDoubleSlot(type) ? 2 : 1);
  32. }
  33. @Override
  34. public Operation toOperation(List<Variable> input) {
  35. if (!input.get(0).getType().isObject()) {
  36. throw new IllegalStateException();
  37. }
  38. Variable array = input.get(0);
  39. Variable index = input.get(1);
  40. Variable value = input.get(2);
  41. return new ArrayAssignment(lineNumber, array, index, value);
  42. }
  43. @Override
  44. public String toString() {
  45. return "arraystore";
  46. }
  47. }