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 String qualifiedName;
   8         public final String bareFuncName;
   9         public final ArrayList<String> args;
  10
  11         public FunctionHeader(String returnType, String qualifiedName,
  12                         String bareFuncName, ArrayList<String> args) {
  13                 this.returnType = returnType;
  14                 this.qualifiedName = qualifiedName;
  15                 this.bareFuncName = bareFuncName;
  16                 this.args = args;
  17         }
  18
  19         public String toString() {
  20                 return "Ret: " + returnType + "\n" + qualifiedName + "\t"
  21                                 + bareFuncName + "\n" + args;
  22         }
  23 }