Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 1234]

AST	Representation of the StaDyn Abstract Syntax Tree (AST).
Operations	Provides double dispatch over types and operations.
AstOperation	This class represent the entry wnen sending a message to an operation object. derived from AstNode
ArgumentExpression	Encapsulates a argument expression of our programming language.
ArithmeticExpression	Encapsulates arithmetic binary expressions.
ArrayAccessExpression	Encapsulates the array expression to access the concrete position.
AssertStatement	Encapsulates a Assert statement of our programming languages.
AssignmentExpression	Encapsulates assignment binary expressions.
AstNode	Abstract class for all nodes that compounds the abstract syntax tree.
BaseCallExpression	Encapsulates a invocation expression to base class.
BaseExpression	Encapsulates a 'base' expression.
BinaryExpression	Encapsulates a binary expression of our programming language.
BitwiseExpression	Encapsulates a bitwise binary expression.
Block	Encapsulates a block of statements.
BoolLiteralExpression	Encapsulates a boolean literal expression.
BreakStatement	Encapsulates a Break statement of our programming languages.
CastExpression	Encapsulates a cast expression.
CatchStatement	Encapsulates a Catch statement of our programming languages.
CharLiteralExpression
ClassDefinition	Encapsulates a definition of a concrete class.
CompoundExpression	Encapsulates a set of expressions.
ConstantDefinition	Encapsulates a constant definition.
ConstantFieldDefinition	Encapsulates a constant field definition.
ConstructorDefinition	Encapsulates a definition of a concrete constructor.
ContinueStatement	Encapsulates a Continue statement of our programming languages.
Declaration	Encapsulates a declaration of a concrete type.
DeclarationSet	Encapsulates a statement with several declarations.
Definition	Encapsulates a definition.
DoStatement	Encapsulates a Do statement of our programming language.
DoubleLiteralExpression	Encapsulates a string literal expression.
ExceptionManagementStatement	Encapsulates a Try-Catch-finally statement of our programming languages. As C# states catch blcok and finally block can be optional, but not at the same time.
Expression	Abstract class encapsulate a programming language expression.
FieldAccessExpression	Encapsulates the expression to access a field.
FieldDeclaration	Encapsulates a declaration of a concrete field.
FieldDeclarationSet	Encapsulates a set of field declarations.
FieldDefinition	Encapsulates a definition of a concrete field.
ForeachStatement	Encapsulates a Foreach statement of our programming languages.
ForStatement	Encapsulates a For statement of our programming languages.
IdDeclaration	Encapsulates a declaration.
IdentifierExpression	Encapsulates a name expression of our programming language.
IfElseStatement	Encapsulates a If-Else statement of our programming language.
InterfaceDefinition	Encapsulates a definition of a concrete interface.
IntLiteralExpression	Encapsulates a integer literal expression.
InvocationExpression	Encapsulates a invocation expression.
IsExpression	Encapsulates a Is expression.
LogicalExpression	Encapsulates a logical binary expression.
MethodDeclaration	Encapsulates a declaration of a concrete method.
MethodDefinition	Encapsulates a definition of a concrete method.
MoveStatement	Encapsulates a Move instruction to use in SSA algorithm
Namespace	Encapsulates a namespace definition.
NewArrayExpression	Encapsulates a new array expression.
NewExpression	Encapsulates a new expression.
NullExpression	Encapsulates a null expression.
Parameter	Encapsulates a parameter declaration.
PropertyDefinition	Encapsulates a property definition.
QualifiedIdentifierExpression	Encapsulates the qualified name expression.
RelationalExpression	Encapsulates a relational binary expression.
ReturnStatement	Encapsulates a Return statement of our programming languages.
SingleIdentifierExpression	Encapsulates a identifier expression of our programming language.
SourceFile	Encapsulates the source code.
Statement	Abstract class represents a programming language statement.
StringLiteralExpression	Encapsulates a string literal expression.
SwitchLabel	Encapsulates a switch label (Case + condition or Default section).
SwitchSection	Encapsulates a Case statement of our programming languages.
SwitchStatement	Encapsulates a Switch statement of our programming languages.
TernaryExpression	Encapsulates a ternary expression of our programming language.
ThetaStatement	Encapsulates a Theta function to use in SSA algorithm.
ThisExpression	Encapsulates a 'this' expression.
ThrowStatement	Encapsulates a Throw statement of our programming languages.
TypeDefinition	Encapsulates a definition of a concrete class or interface.
UnaryExpression	Encapsulates a unary expression of our programming language.
WhileStatement	Encapsulates a While statement of our programming languages.
CodeGeneration	The code generation phase.
ExceptionManagement	Encapsulates the IL code to throw runtime exceptions.
DynamicExceptionManager	This class encapsulates the IL code to generate a dynamic exception.
WrongDynamicTypeExceptionManager	This class encapsulates the IL code to generate an exception produced when the type on the top of the stack is incorrect.
NewOperations	TO DO: PASAR AL "CODEGENERATION.OPERATIONS"
CGBinaryOperation< T >
Operations	Operations for generating code depending on the type of the arguments.
CGBinaryOperationsInfo	It typechecks the runtime arguments, embeded in a method call, with the parametes of this method.
CGPlainTypeExpressionOperation
CGRuntimeCheckArgumentOperation< T >	It typechecks the runtime arguments, embeded in a method call, with the parametes of this method.
CGRuntimeCheckTypeExpressionOperation< T >	It tries to convert the top of the stack to a Type Expression indicated by operand. Firstly it duplicates the top of the stack Next check if the top of he stack is the same type of argument 'operand'. If the conversion is wrong. In a execution context we'd've finished so it's necessary to write an opcode jump, brfalse, to the end of this code (endLabel). Next it unboxes the result the top of the stack to the desired type. If a Convertion to double is requested, (member this.toDouble), it generates convToDouble If it success it jumps to the rest of code else it generates the label to jump if isinst fails.
CGRuntimeFreshTEPromotionOperation< T >	Converts a fresh type variable on the stack (object) to another type
CGRuntimeIsInstructionOperation< T >	Checks if the type variable on the stack is a specified type or can be to promotion
CGRuntimeUnionTypePromotionOperation< T >	Tries a promotion where the top of the stack contains a union type.
CGTypeSystemOperation	This class represent the entry wnen sending a message to an operation object derived from TypeExpression.
MajorTypeForArithMeticOperation
MajorTypeOperation
CLRCodeGenerator	This class encapsulates the IL CLR code generator IL.
CodeGenerator	This class encapsulates the instruction used to generate the code.
ConstantTable	Implementation of a table of constants.
ILCodeGenerator
ILReservedWords
ILStatementsCodeGeneration
InheritedAttributes	This class encapsulates several inherited attributes used in code generation process.
RrotorCodeGenerator	This class encapsulates the IL CLR code generator IL.
SynthesizedAttributes	This class encapsulates several inherited attributes used in code generation process.
TemporalVariablesTable	Implementation of a table of variables. thist tables search for an id according to its string type representation
TypeMapping	Offers the mappings between different representations of types in IL.
VisitorCLRCodeGeneration< T >	This class walks the AST to obtain the IL code.
VisitorCodeGeneration< T >	This class walks the AST to obtain the IL code.
VisitorCodeGeneration2	This class walks the AST to obtain the field and localinit directives.
VisitorCodeGenerationBase	This class walks the AST to to obtain intermediate code Thisis a layer adapter class and is the base classBy means of thisi class we're able to perform covariance in certain attributes between visitor and codegeneration clases
VisitorILCodeGeneration< T >	This class walks the AST to obtain the IL code.
VisitorRrotorCodeGeneration< T >	This class walks the AST to obtain the translation to IL code over the Reflective extension of the SSCLI (Rrotor).
CommandLine	Command line argument parser.
OptionsConfiguration
Parameters
Compiler	Facade of the language compiler.
Debugger	A visitor for to facilitate tracing the AST.
VisitorDebug	This class shows the information of the abstract syntax tree.
DynVarManagement	To manage the dynamism of var references.
DynVarException	The parent class for all exceptions related to DynVars
DynVarInfoNotFound	When the associated file is not found
DynVarInfoSyntaxException	When the XML syntax of the associated file is not valid.
DynVarNotFound	When a dynVar, a block(DynVars object), class or namespace is not found in the associated info.
DynVarManager	New implementation of DynVarManagement: -Ignores "block" elements: not used anymore. -Provides wider interface: -Dynamic method return (dynreturn attribute in method elements) -Interface elements Includes set of old fields, properties and methods for retro-compatibility reasons.
VarPath
DynVarOptions	Offers the global options of the dynamic behaviour configuration.
ErrorManagement	Different compile-time errors of the language processor.
ArgumentNumberError	Represents a error produced when the argument and parameter number is different.
ArgumentOutOfRangeError	Represents the error occurred when the argument value is out of range.
AssemblerError	Represents the error occurred when the assembler is not capable of assembling an IL file.
AssignmentError	Represents a error produced when the attribute identifier is not defined.
ClassTypeInfoError	Represents a error produced when a MethodType has class information and tries to assign other class information.
CodeGenerationError	Represents a error produced when a MethodType has class information and tries to assign other class information.
CommandLineArgumentsError	Represents the error occurred when the command line arguments specified are incorrect.
ConstraintError	Represents a error produced when a constraint has not been satisfied
DeclarationFoundError	Represents a error produced when the declaration already exists.
DefinedTypeError	Represents a error produced when the defined type already exists.
DispatcherError	Represents a error produced in a wrong invocation of the dispatchers
EntryPointFoundError	Represents a error produced when source code has more the one entry point defined.
EntryPointNotFoundError	Represents a error produced when source code has not any entry point.
ErrorAdapter	Represents an adapter of existing features in every error.
ErrorManager	Class to allow the management of all different error types happened.
ExceptionClauseWrongDerived	Represents a error produced when the defined type already exists.
ExecutionError	Represents the error occurred when compiled application has been executed.
ExpectedInterfaceError	Represents a error produced when the used type is not defined.
ExpressionExpectedError	Represents a error produced when the expression is not a lvalue.
FileNotFoundError	Represents the error occurred when the file specified does not exist.
IError	Interfaz for the different error types.
IncorrectArraySizeError	Represents a error produced when a specified array size isnt an integer or an expression that contains a integer value.
InstanceMethodCallFromStaticMethodError	Represents a error produced when an instance method is called from a static one, whithout using an object.
InternalOperationInterfaceError
LexicalError	Represents the error occurred while the source code is lexing.
LoadingDynVarsError	Represents the error occurred when dynamic variable are loaded.
Location	This class encapsulates a location in a specific file. Implements an Inmutable pattern. So it can be used in any context, that is his internal fields never change.
LValueError	Represents a error produced when the expression is not a lvalue.
MemberTypeExpectedError	Represents a error produced when member type is expected but do not found.
MultipleBaseClassError	Represents the error occurred when a class has multiple base classes.
NoTypeAcceptsOperation	Represents a error produced when a dynamic union type has no valid type to be applied an operation
NoTypeHasMember	Represents a error produced when a dynamic union type has no valid type to be applied an operation
OperationNotAllowedError	Represents a error produced when tries to make an operation not allowed for the specified type.
OverloadError	Represents a error produced when the ternary expression can not be applied to specified expressions
ParserError	Represents the error occurred while the source code is parsing.
PropertyWriteError	Represents a error produced when an property without write permisses is assigned a value.
ProtectionLevelError	Represents a error produced when a member cannot be access due to its protection level.
ReturnExpectedError	Represents a error produced when the expression is not a lvalue.
SymbolNotFoundError	Represents a error produced when the specified symbol does not exist.
TernaryError	Represents a error produced when the ternary expression can not be applied to specified expressions
ThisWordFromStaticMethodError	Represents a error produced when the this reserved word is used in a static method
TypeCastError	Represents a error produced when a type cast can not be applied to specified expressions.
TypePromotionError	Represents a error produced when the type promotion can not be applied to specified expressions. different.
UnificationError	Represents a error produced when the attribute identifier is not defined.
UnknownIDError	Represents a error produced when the attribute identifier is not defined.
UnknownMemberError	Represents a error produced when the attribute identifier is not defined.
UnknownTypeError	Represents a error produced when the used type is not defined.
UserTypeExpectedError	Represents a error produced when user type is expected but do not found.
Inference	TO DO: PASAR AL "COMPILER"
Core	TO DO: PASAR AL "COMPILER"
EntryPoint
Parser	Parsing of a set of files
Program
Properties	Properties of the Inference assembly (the StaDyn compiler DLL).
src
Core	TO DO: PASAR A CODEGENERATION
ServerOptimizer
MethodInvocationArguments	TO DO: PASAR A CODEGENERATION
Parser	/ A Parser for the C# language (including preprocessors directives). /
CSharpLexer
CSharpParser
CSharpPreprocessorHooverLexer
CSharpPreprocessorLexer
CSharpTokenTypes
CustomHiddenStreamToken	A sub-class of antlr.CommonHiddenStreamToken that can be used to track the file from which a token was created
CustomHiddenStreamTokenCreator
Semantic	The semantic analysis phase (type load, type definition, symbol identification and type inference).
SSAAlgorithm	To transform the AST to a Single Static Assignment AST representation.
SSAElement	This class stores the information to use in SSA map and allows to create a new declarations.
SSAInfo	This class stores the information to use in SSA algorithm
SSAMap	Implementation of a map to use in static single assignment algorithm.
VisitorSSA	This class makes the static single assignment algorithm in which every variable is assigned exactly once.
VisitorSSA2	This class makes the second part of static single assignment algorithm in which every variable is assigned exactly once.
VisitorSymbolIdentification	This class visits the AST to assign symbol information to identifier expression.
VisitorTypeDefinition	This class visits the AST to store the type of each declaration. Includes methods, fields and inheritance.
VisitorTypeInference	This class visits the AST to make the type inference of all expressiones in the source code.
VisitorTypeLoad	This class visits the AST to store the type of each defined class or inteface.
Symbols	The symbol table.
Symbol	This class represents a symbol associated with its identifier.
SymbolTable	Implementation of a symbol table.
TargetPlatforms	The different target platforms supported.
TargetPlatformRepresentation
Tools	Different utility classes used in other packages.
Pair< FirstType, SecondType >	Generic pair of objects
Visitor	Abstract class to define different visits over the abstract syntax tree.
VisitorAdapter	Abstract class to define different visits over the abstract syntax tree. It makes a deep walker.
TypeSystem	The implementation of the StaDyn type system rules.
Constraints	Constraints used in by the type system.
ArithmeticConstraint	It represents constraints of the form: ret := op1 op op2 Where op is an arithmetic operator
BracketConstraint	It represents constraints of the form: ret := ret := op1 [ op2 ]
CastConstraint	It represents constraints of the form (op1)op2 (op2 might be converted int a op1)
CloneConstraint
Constraint
ConstraintAdapter
ConstraintList	A set of constraints
DotConstraint	It represents constraints of the form: ret := op1 . memberName
FieldTypeAssignmentConstraint	It represents constraints of the form: alpha := beta, being alpha a field type
FieldTypeVariableAssignmentConstraint	It represents constraints of the form: alpha.memberName := beta being alpha a type variable
ParenthesisConstraint	It represents constraints of the form: ret := op1(implicitObj, param*) where op1 is a method, implicitObj is the actual object used to pass the message and param* is a sequence of parameters
PromotionConstraint	It represents constraints of the form op1 <= op2 (op1 is a subtype of op2)
RelationalConstraint	It represents constraints of the form: ret := op1 op op2 where op is an relational operator (== != >= <= > <)
SquareBracketConstraint	It represents constraints of the form: ret := ret := op1 [ op2 ]
Operations	Operations encapsulate each type rule that can be included as a constraint in a method type.
ArithmeticalOperation	This class instantiates elements of type UnaryArithmeticalOperation, and BinaryArithmeticalOperation, according to the Create method called. Implements a factory methos(virtual constructor) Role: factory
AssignmentOperation	Implements Double dispatcher Pattern. The class encapsulates encapsulates all it's needed to perform an assigment operationt, except the first argument that is passed as argument with the message AcceptOperation() and done in the proper method.
BinaryArithmeticalOperation
SquareBracketOperation	Implements bracket operation of a type expression. Implments double dispatcher pattern.
CastOperation	These clase implements cast operation over a type expression that is encapsulated in a message pass to AcceptOperation. Tels if the caller can cast to CastType Implements Double dispatcher pattern
CloneTypeVariablesOperation
ConstrainedDotOperation	This class generatess constraits, and raises error if something is wrong. Implements a double dispatcher pattern Implements a factory method. Role: Product
DotOperation	Implements a factory method pattern. Virtual constructor. Role: factory Implements a double dispatcher pattern Role:
EqualsForOverloadOperation	Implemeents a double dispatcher pattern Role:
EquivalentOperation	No location information is provided within this class, because the exec methods invoked by the proper messages always return a boolean type. A
GetMembersOperation	Represents an operation to return all the members in a type
ParenthesisOperation	Implements Double Dispatch Pattern Role:
PromotionLevelOperation	Its operation AcceptOperation() returns an integer value that indicates a promotion level between two types. That is the number of gaps represented as levels between two types The static behaviour is T1\/T2 <= X iff T1<=X and T2<=X The dynamic behaviour is T1\/T2 <= X iff T1<=X or T2<=X
PromotionOperation
RelationalOperation
TypeSystemOperation	This class represent the entry wnen sending a message to an operation object derived from TypeExpression.
UnaryArithmeticalOperation	Class Unary AritmethicalOperation Implements: Factory method Role:
UnifyOperation
AccessModifier	Association Class between ClassType and MethodType (or Fields). Represents the access modifier information about a concrete attribute and its class.
ArrayType	Representa an array type.
BCLClassType
BCLInterfaceType
BCLNameSpaceType	WriteType of a namespace
BoolType	Represent a bool type.
CharType	Represent a character type.
ClassType	Represents a class type.
ClassTypeProxy	Represents a proxy of a class type. It implements the unfold operatations of theoretical type systes.
DeclarationTable	Implementation of a table of declarations.
DoubleType	Represents a double type.
EquivalenceClass
FieldType	Representa a field type.
IBCLUserType
IMemberType	Representa a class attribute (fields or methods).
Introspection	Represents a type obtained using introspection.
InterfaceType	Represents a interface type.
IntersectionMemberType	A class that makes possible to have intersection types as class members (overload)
IntersectionType	Representa an intersection type.
IntType	Represent a integer type.
MethodType	Representa a method type.
NameSpaceType	WriteType of a namespace
NullType	Represent a null type.
PropertyType	Representa a property type.
StringType	Represent a string type.
TypeExpression	Abstract class that represents all different types.
TypeTable	Implementation of a table of types.
TypeVariable	Represents a generic type expression
UnionType	Representa a union type.
UserType	Represents a class or interface type.
VoidType	Represents a void type.