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

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.util.ArrayList;
   4
   5 public class FunctionHeader {
   6         public final String returnType;
   7         public final QualifiedName qualifiedName;
   8         public final ArrayList<VariableDeclaration> args;
   9
  10         public FunctionHeader(String returnType, QualifiedName qualifiedName,
  11                         ArrayList<VariableDeclaration> args) {
  12                 this.returnType = returnType;
  13                 this.qualifiedName = qualifiedName;
  14                 this.args = args;
  15         }
  16
  17         public String toString() {
  18                 return "Ret: " + returnType + "\n" + qualifiedName + "\n" + args;
  19         }
  20 }