The StaDyn Programming Language
Source code documentation of StaDyn, a hybrid static and dynamic typing language.
|
Go to the source code of this file.
Namespaces | |
package | AST |
Representation of the StaDyn Abstract Syntax Tree (AST). | |
package | AST.Operations |
Provides double dispatch over types and operations. | |
package | CodeGeneration |
The code generation phase. | |
package | CodeGeneration.ExceptionManagement |
Encapsulates the IL code to throw runtime exceptions. | |
package | CodeGeneration.Operations |
Operations for generating code depending on the type of the arguments. | |
package | CodeGeneration.NewOperations |
TO DO: PASAR AL "CODEGENERATION.OPERATIONS" | |
package | CommandLine |
Command line argument parser. | |
package | Debugger |
A visitor for to facilitate tracing the AST. | |
package | DynVarManagement |
To manage the dynamism of var references. | |
package | ErrorManagement |
Different compile-time errors of the language processor. | |
package | Compiler |
Facade of the language compiler. | |
package | Inference |
TO DO: PASAR AL "COMPILER" | |
package | Inference.Core |
TO DO: PASAR AL "COMPILER" | |
package | Inference.Properties |
Properties of the Inference assembly (the StaDyn compiler DLL). | |
package | Inference.src.Core |
TO DO: PASAR A CODEGENERATION | |
package | MethodInvocationArguments |
TO DO: PASAR A CODEGENERATION | |
package | Semantic |
The semantic analysis phase (type load, type definition, symbol identification and type inference). | |
package | Semantic.SSAAlgorithm |
To transform the AST to a Single Static Assignment AST representation. | |
package | Symbols |
The symbol table. | |
package | TargetPlatforms |
The different target platforms supported. | |
package | Tools |
Different utility classes used in other packages. | |
package | TypeSystem |
The implementation of the StaDyn type system rules. | |
package | TypeSystem.Constraints |
Constraints used in by the type system. | |
package | TypeSystem.Operations |
Operations encapsulate each type rule that can be included as a constraint in a method type. | |