package tessla

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class BuiltIn extends AnyRef
  2. class Compiler extends AnyRef
  3. class ConstantEvaluator extends tessla.TesslaCore.IdentifierFactory with TranslationPhase[tessla.TypedTessla.Specification, Specification]
  4. class CycleDetection extends TranslationPhase[Specification, 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).

  5. trait Diagnostic extends AnyRef
  6. abstract class FlatTessla extends HasUniqueIdentifiers
  7. class Flattener extends tessla.FlatTessla.IdentifierFactory with TranslationPhase[Specification, tessla.FlatTessla.Specification]
  8. trait HasUniqueIdentifiers extends AnyRef
  9. sealed abstract class Location extends AnyRef
  10. case class OSL(statements: Seq[Statement]) extends Product with Serializable
  11. case class SourceRange(fromLine: Int, fromColumn: Int, toLine: Int, toColumn: Int) extends Product with Serializable
  12. class TesslaParser extends TranslationPhase[TesslaSource, Specification] with Parsers
  13. class TesslaSource extends AnyRef

    Wrapper for tessla source code.

  14. sealed abstract class TimeUnit extends AnyRef
  15. trait TranslationPhase[T, U] extends AnyRef

    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

  16. class TypeChecker extends tessla.TypedTessla.IdentifierFactory with TranslationPhase[tessla.FlatTessla.Specification, tessla.TypedTessla.Specification]
  17. trait WithDebugOutput extends AnyRef

Value Members

  1. object BuiltIn
  2. object Ctf
  3. object DepthChecker
  4. object Errors
  5. object Evaluator
  6. object FlatTessla extends FlatTessla
  7. object JavaApi
  8. object Location
  9. object Main extends SexyOpt
  10. object OSL extends Serializable
  11. object RecursiveDepthChecker
  12. object ReverseTopologicalSort
  13. object Tessla
  14. object TesslaCore extends HasUniqueIdentifiers
  15. object TesslaSource

    Convenience object for creating TesslaSource instances.

  16. object TimeUnit
  17. object TranslationPhase
  18. object TypedTessla extends FlatTessla
  19. object Warnings

Ungrouped