PredicateFactory.java Source File

00001 package edu.ksu.cis.bandera.specification.predicate.datastructure;
00002 
00003 import edu.ksu.cis.bandera.specification.predicate.exception.*;
00004 import edu.ksu.cis.bandera.specification.predicate.node.*;
00005 import edu.ksu.cis.bandera.annotation.*;
00006 import edu.ksu.cis.bandera.jjjc.symboltable.*;
00007 import java.util.*;
00008 public final class PredicateFactory {
00009 /**
00010  * 
00011  * @return edu.ksu.cis.bandera.specification.predicate.datastructure.ExpressionPredicate
00012  * @param name edu.ksu.cis.bandera.jjjc.symboltable.Name
00013  * @param type edu.ksu.cis.bandera.jjjc.symboltable.ClassOrInterfaceType
00014  * @param node edu.ksu.cis.bandera.specification.predicate.node.Node
00015  * @param params java.util.Vector
00016  * @param paramTypes java.util.Vector
00017  * @param isStatic boolean
00018  * @param variablesUsed java.util.Hashtable
00019  * @param constraint edu.ksu.cis.bandera.specification.predicate.node.PExp
00020  * @param description java.lang.String
00021  * @param exceptions java.util.Vector
00022  */
00023 public static ExpressionPredicate createExpressionPredicate(Name name, ClassOrInterfaceType type, Node node, Vector params, Vector paramTypes, boolean isStatic, Hashtable variablesUsed, PExp constraint, String description, Vector exceptions) throws DuplicatePredicateException {
00024     ExpressionPredicate result = new ExpressionPredicate(name, type, node, exceptions);
00025     result.setParams(params);
00026     result.setParamTypes(paramTypes);
00027     result.setConstraint(constraint);
00028     result.setDescription(description);
00029     result.setStatic(isStatic);
00030     result.setVariablesUsed(variablesUsed);
00031     return result;
00032 }
00033 /**
00034  * 
00035  * @return edu.ksu.cis.bandera.specification.predicate.datastructure.InvokePredicate
00036  * @param name edu.ksu.cis.bandera.jjjc.symboltable.Name
00037  * @param type edu.ksu.cis.bandera.jjjc.symboltable.ClassOrInterfaceType
00038  * @param node edu.ksu.cis.bandera.specification.predicate.node.Node
00039  * @param params java.util.Vector
00040  * @param paramTypes java.util.Vector
00041  * @param isStatic boolean
00042  * @param variablesUsed java.util.Hashtable
00043  * @param constraint edu.ksu.cis.bandera.specification.predicate.node.PExp
00044  * @param description java.lang.String
00045  * @param exceptions java.util.Vector
00046  * @exception edu.ksu.cis.bandera.specification.predicate.exception.DuplicatePredicateException The exception description.
00047  */
00048 public static InvokePredicate createInvokePredicate(Name name, ClassOrInterfaceType type, Annotation annotation, Node node, Vector params, Vector paramTypes, boolean isStatic, Hashtable variablesUsed, PExp constraint, String description, Vector exceptions) throws edu.ksu.cis.bandera.specification.predicate.exception.DuplicatePredicateException {
00049     InvokePredicate result = new InvokePredicate(name, type, annotation, node, exceptions);
00050     result.setParams(params);
00051     result.setParamTypes(paramTypes);
00052     result.setConstraint(constraint);
00053     result.setDescription(description);
00054     result.setStatic(isStatic);
00055     result.setVariablesUsed(variablesUsed);
00056     return result;
00057 }
00058 /**
00059  * 
00060  * @return edu.ksu.cis.bandera.specification.predicate.datastructure.LocationPredicate
00061  * @param name edu.ksu.cis.bandera.jjjc.symboltable.Name
00062  * @param type edu.ksu.cis.bandera.jjjc.symboltable.ClassOrInterfaceType
00063  * @param annotation edu.ksu.cis.bandera.annotation.Annotation
00064  * @param node edu.ksu.cis.bandera.specification.predicate.node.Node
00065  * @param label java.lang.String
00066  * @param params java.util.Vector
00067  * @param paramTypes java.util.Vector
00068  * @param isStatic boolean
00069  * @param variablesUsed java.util.Hashtable
00070  * @param constraint edu.ksu.cis.bandera.specification.predicate.node.PExp
00071  * @param description java.lang.String
00072  * @param exceptions java.util.Vector
00073  * @exception edu.ksu.cis.bandera.specification.predicate.exception.DuplicatePredicateException The exception description.
00074  */
00075 public static LocationPredicate createLocationPredicate(Name name, ClassOrInterfaceType type, Annotation annotation, Node node, String label, Vector params, Vector paramTypes, boolean isStatic, Hashtable variablesUsed, PExp constraint, String description, Vector exceptions) throws edu.ksu.cis.bandera.specification.predicate.exception.DuplicatePredicateException {
00076     LocationPredicate result = new LocationPredicate(name, type, annotation, node, exceptions, label);
00077     result.setParams(params);
00078     result.setParamTypes(paramTypes);
00079     result.setConstraint(constraint);
00080     result.setDescription(description);
00081     result.setStatic(isStatic);
00082     result.setVariablesUsed(variablesUsed);
00083     return result;
00084 }
00085 /**
00086  * 
00087  * @return edu.ksu.cis.bandera.specification.predicate.datastructure.ReturnPredicate
00088  * @param name edu.ksu.cis.bandera.jjjc.symboltable.Name
00089  * @param type edu.ksu.cis.bandera.jjjc.symboltable.ClassOrInterfaceType
00090  * @param annotation edu.ksu.cis.bandera.annotation.Annotation
00091  * @param node edu.ksu.cis.bandera.specification.predicate.node.Node
00092  * @param params java.util.Vector
00093  * @param paramTypes java.util.Vector
00094  * @param isStatic boolean
00095  * @param ret boolean
00096  * @param variablesUsed java.util.Hashtable
00097  * @param constraint edu.ksu.cis.bandera.specification.predicate.node.PExp
00098  * @param description java.lang.String
00099  * @param exceptions java.util.Vector
00100  * @exception edu.ksu.cis.bandera.specification.predicate.exception.DuplicatePredicateException The exception description.
00101  */
00102 public static ReturnPredicate createReturnPredicate(Name name, ClassOrInterfaceType type, Annotation annotation, Node node, Vector params, Vector paramTypes, boolean isStatic, boolean ret, Hashtable variablesUsed, PExp constraint, String description, Vector exceptions) throws edu.ksu.cis.bandera.specification.predicate.exception.DuplicatePredicateException {
00103     ReturnPredicate result = new ReturnPredicate(name, type, annotation, node, exceptions, ret);
00104     result.setParams(params);
00105     result.setParamTypes(paramTypes);
00106     result.setConstraint(constraint);
00107     result.setDescription(description);
00108     result.setStatic(isStatic);
00109     result.setVariablesUsed(variablesUsed);
00110     return result;
00111 }
00112 }