Module Labels.ExpressionSource

Sourcetype t =
  1. | IntegralNumber of string
  2. | RealNumber of string
  3. | TimeNumber of string
  4. | Null
  5. | UOp of UnaryOperator.t
  6. | BOp of BinaryOperator.t
  7. | Cond
  8. | Paren
  9. | Tagged of Common.identifier
  10. | Inside
  11. | Concat
  12. | EmptyQueue
  13. | Last
  14. | MinTypeMax
  15. | Cast
  16. | Constraint
  17. | ConstraintIf
  18. | ConstraintForeach
  19. | ConstraintSet
  20. | Stream
  21. | PreIncr
  22. | PreDecr
  23. | PostIncr
  24. | PostDecr
  25. | OperatorAssignment of AssignmentOperator.t
  26. | SystemFCall of Common.identifier
  27. | SystemTCall of SystemTask.t
  28. | TfCall of Common.identifier
  29. | MethodCall of Common.identifier
  30. | ArrayMethodCallUnique
  31. | ArrayMethodCallAnd
  32. | ArrayMethodCallOr
  33. | ArrayMethodCallXor
  34. | CycleDelayConstRange
  35. | ConstantRange
  36. | ClassNew
  37. | ClassNewA
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> Common.identifier
Sourceval get_name : t -> Common.identifier
Sourceval get_value : t -> string
Sourceval to_tag : t -> string * (string * Common.identifier) list
Sourceval get_identifier : t -> Common.identifier