| java.lang.Object de.uka.ilkd.key.logic.op.SchemaVariableFactory
SchemaVariableFactory | public class SchemaVariableFactory (Code) | | A factory class for different Schema Variables
|
Method Summary | |
public static SchemaVariable | createFormulaSV(Name name, boolean listSV, boolean rigidness) | public static SchemaVariable | createFormulaSV(Name name, boolean listSV) | public static SchemaVariable | createListSV(Name name, Class matchType) | public static SchemaVariable | createNameSV(Name name) | public static SchemaVariable | createOperatorSV(Name name, Class matchingType, Sort sort, int arity, HashSet operators) | public static SchemaVariable | createProgramSV(ProgramElementName name, ProgramSVSort s, boolean listSV) | public static SchemaVariable | createSkolemTermSV(Name name, Sort s, boolean listSV) | public static SchemaVariable | createTermSV(Name name, Sort sort, boolean listSV, boolean rigidness, boolean strictSV) | public static SchemaVariable | createTermSV(Name name, Sort sort, boolean listSV) | public static SchemaVariable | createVariableSV(Name name, Sort sort, boolean listSV) |
createFormulaSV | public static SchemaVariable createFormulaSV(Name name, boolean listSV, boolean rigidness)(Code) | | creates a SchemaVariable representing a formula
Parameters: name - the Name of the SchemaVariable Parameters: rigidness - true iff this SV may only match rigidterms/formulas Parameters: listSV - a boolean which is true iff the schemavariable is allowedto match a list of formulas the SchemaVariable |
createOperatorSV | public static SchemaVariable createOperatorSV(Name name, Class matchingType, Sort sort, int arity, HashSet operators)(Code) | | creates a SchemaVariable representing an operator
Parameters: name - the Name of the SchemaVariable Parameters: arity - the arity of the modal operators represented by this SVparam modalitylist the list of actual modalities to match this SV (right now box & diamond) the SchemaVariable |
createProgramSV | public static SchemaVariable createProgramSV(ProgramElementName name, ProgramSVSort s, boolean listSV)(Code) | | creates a SchemaVariable representing a program construct
Parameters: name - the ProgramElementName of the SchemaVariable Parameters: listSV - a boolean which is true iff the schemavariable is allowedto match a list of program constructs the SchemaVariable |
createSkolemTermSV | public static SchemaVariable createSkolemTermSV(Name name, Sort s, boolean listSV)(Code) | | creates a SchemaVariable representing a skolem term
Parameters: name - the Name of the SchemaVariable Parameters: listSV - a boolean which is true iff the schemavariable is allowedto match a list of skolem terms the SchemaVariable |
createTermSV | public static SchemaVariable createTermSV(Name name, Sort sort, boolean listSV, boolean rigidness, boolean strictSV)(Code) | | creates a SchemaVariable representing a term but not a formula
Parameters: name - the Name of the SchemaVariable Parameters: sort - the Sort of the term the SchemaVariable will beused to represent Parameters: listSV - a boolean which is true iff the schemavariable is allowedto match a list of terms Parameters: rigidness - true iff this SV may only match rigidterms/formulas Parameters: strictSV - boolean indicating if the schemavariable is declared as strictforcing exact type match the SchemaVariable |
createVariableSV | public static SchemaVariable createVariableSV(Name name, Sort sort, boolean listSV)(Code) | | creates a SchemaVariable representing quantified variables
Parameters: name - the Name of the SchemaVariable Parameters: sort - the Sort of the variable the SchemaVariable will beused to represent Parameters: listSV - a boolean which is true iff the schemavariable is allowedto match a list of quantified variables the SchemaVariable |
|
|