Exemplos de Interpreter.Execution TypeCheckerPreprocessor em C# (CSharp)

Exemplo n.º 1

        /// <summary>
        /// Note: input program's type definitions wiill be pre-processed to
        /// cater for AC term semantics.
        /// </summary>
        public InterpreterTypeChecker(TrsProgramBlock programIn)
        {
            TypeCheckerPreprocessor preprocessor = new TypeCheckerPreprocessor();

            preprocessor.RewriteTerms(programIn);
            InitializeLookupTables(programIn);
        }

Exemplo n.º 2

Arquivo: InterpreterTypeChecker.cs Projeto: WCoetser/TRL

 /// <summary>
 /// Note: input program's type definitions wiill be pre-processed to 
 /// cater for AC term semantics.
 /// </summary>
 public InterpreterTypeChecker(TrsProgramBlock programIn)
 {
     TypeCheckerPreprocessor preprocessor = new TypeCheckerPreprocessor();
       preprocessor.RewriteTerms(programIn);
       InitializeLookupTables(programIn);
 }