Uses of Class
fmrisc.ProgramExplorer.Semantics.ConstructorSymbol

Packages that use ConstructorSymbol

Package	Description
fmrisc.ProgramExplorer.Semantics

Uses of ConstructorSymbol in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return ConstructorSymbol

Modifier and Type	Method and Description
static ConstructorSymbol	ConstructorSymbol.construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, ConstructorDeclaration decl, ErrorStream error) Construct class method symbol from declaration (NULL in case of error).
ConstructorSymbol	Environment.getConstructor(CallStatement stat, TypeExpression[] atypes) Return symbol for constructor denoted by name and argument types in current environment.

Methods in fmrisc.ProgramExplorer.Semantics that return types with arguments of type ConstructorSymbol

Modifier and Type	Method and Description
ParamSymbols<ConstructorSymbol>	ClassSymbol.getConstructors() Get set of constructors of this class.
java.util.Collection<ConstructorSymbol>	ClassSymbol.getConstructorSet() Get set of constructors of this class.