lots of changes

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / FunctionHeader.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java b/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java
index e6d1fa2ab426bd73c692125b5cb4a1312d8e0f1b..54924ff03119199d1f2e5de4d865a9b72cb0a196 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java
@@ -4,20 +4,17 @@ import java.util.ArrayList;
 
 public class FunctionHeader {
        public final String returnType;
-       public final String qualifiedName;
-       public final String bareFuncName;
-       public final ArrayList<String> args;
+       public final QualifiedName qualifiedName;
+       public final ArrayList<VariableDeclaration> args;
 
-       public FunctionHeader(String returnType, String qualifiedName,
-                       String bareFuncName, ArrayList<String> args) {
+       public FunctionHeader(String returnType, QualifiedName qualifiedName,
+                       ArrayList<VariableDeclaration> args) {
                this.returnType = returnType;
                this.qualifiedName = qualifiedName;
-               this.bareFuncName = bareFuncName;
                this.args = args;
        }
 
        public String toString() {
-               return "Ret: " + returnType + "\n" + qualifiedName + "\t"
-                               + bareFuncName + "\n" + args;
+               return "Ret: " + returnType + "\n" + qualifiedName + "\n" + args;
        }
 }