1 package edu.uci.eecs.specCompiler.specExtraction;
3 import java.util.ArrayList;
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;
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;
19 public String toString() {
20 return "Ret: " + returnType + "\n" + qualifiedName + "\t"
21 + bareFuncName + "\n" + args;