Type Members

1.  class CPatternBaseVisitor[T] extends AbstractParseTreeVisitor[T] with CPatternVisitor[T]

   This class provides an empty implementation of CPatternVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.

2.  class CPatternLexer extends Lexer
3.  class CPatternParser extends Parser
4.  trait CPatternVisitor[T] extends ParseTreeVisitor[T]

   This interface defines a complete generic visitor for a parse tree produced by CPatternParser.

5.  class Compiler extends AnyRef
6.  class ConstantEvaluator extends TranslationPhase[TypedSpecification, Specification]
7.  class ConstantEvaluatorWorker extends tessla.TesslaCore.IdentifierFactory with Translator[Specification]
8.  class CurrySignalLift extends TranslationPhase[Specification, Specification]
9.  class CurrySignalLiftWorker extends Translator[Specification]
10.  class CycleDetection extends Translator[Specification]

    Sort the definition in reverse topographical order ignoring the edges of a last's first operand and both operands of a delayed last (so each stream will appear before any stream that uses it in the same timestamp) and produce an error for any recursion that does not go through a last.

    Sort the definition in reverse topographical order ignoring the edges of a last's first operand and both operands of a delayed last (so each stream will appear before any stream that uses it in the same timestamp) and produce an error for any recursion that does not go through a last.

    The reverse topological sort will be useful for code generation strategies that put the actions within one time stamp in a linear order. The errors for lastless recursions are useful because any recursion without last would cause an infinite loop in the interpreter (and either an infinite loop or an error during codegen in other backends).

11.  trait Diagnostic extends AnyRef
12.  class Evaluator extends AnyRef
13.  abstract class FlatTessla extends HasUniqueIdentifiers
14.  class Flattener extends tessla.FlatTessla.IdentifierFactory with Translator[tessla.FlatTessla.Specification]
15.  trait HasUniqueIdentifiers extends AnyRef
16.  class InputTraceLexer extends Lexer
17.  class InputTraceParser extends Parser
18.  class InputTraceParserBaseVisitor[T] extends AbstractParseTreeVisitor[T] with InputTraceParserVisitor[T]

    This class provides an empty implementation of InputTraceParserVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.

19.  trait InputTraceParserVisitor[T] extends ParseTreeVisitor[T]

    This interface defines a complete generic visitor for a parse tree produced by InputTraceParser.

20.  sealed abstract class Location extends AnyRef
21.  class RemoveUnusedDefinitions extends Translator[Specification]
22.  class StdlibIncluder extends TranslationPhase[IndexedSeq[ParseResult], IndexedSeq[ParseResult]]
23.  class TesslaLexer extends Lexer
24.  class TesslaSyntax extends Parser
25.  class TesslaSyntaxBaseVisitor[T] extends AbstractParseTreeVisitor[T] with TesslaSyntaxVisitor[T]

    This class provides an empty implementation of TesslaSyntaxVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.

26.  class TesslaSyntaxToTessla extends Translator[Specification] with CanParseConstantString
27.  trait TesslaSyntaxVisitor[T] extends ParseTreeVisitor[T]

    This interface defines a complete generic visitor for a parse tree produced by TesslaSyntax.

28.  sealed abstract class TimeUnit extends AnyRef
29.  trait TranslationPhase[-T, +U] extends (T) ⇒ Result[U]

    Trait representing a phase of the translation process.

    Trait representing a phase of the translation process.

    Note that this trait contains mutable members and should only be extended by classes, not objects.

    T

    The type of representation that this phase will be applied to

    U

    The result of applying this phase

30.  class TypeChecker extends tessla.TypedTessla.IdentifierFactory with Translator[TypedSpecification]
31.  trait WithDebugOutput extends AnyRef