src/edu/uci/eecs/specCompiler/specExtraction/VariableDeclaration.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 public class VariableDeclaration {
   4         public String type;
   5         public String name;
   6
   7         public VariableDeclaration(String type, String name) {
   8                 this.type = type;
   9                 this.name = name;
  10         }
  11
  12         public String toString() {
  13                 return type + " " + name;
  14         }
  15 }