model

object model
class Object
trait Matchable
class Any
model.type

Type members

Classlikes

case object And extends BinaryOperator
case object As extends TypeOperator
case class BinaryOperation(left: Expr, op: BinaryOperator, right: Expr) extends Expr
sealed abstract class BinaryOperator(val toString: String)
case object Contains extends BinaryOperator
case object Div extends BinaryOperator
case object Empty extends Literal
case class EnvironmentVariable(name: String) extends Expr
case object Eq extends BinaryOperator
case object Equiv extends BinaryOperator
sealed trait Expr
case class FieldAccess(fieldName: String) extends Invocation
case class Func(name: String, params: Seq[Expr]) extends Invocation
case object Gt extends BinaryOperator
case object Gte extends BinaryOperator
case object Implies extends BinaryOperator
case object In extends BinaryOperator
case class Index(expr: Expr, index: Expr) extends Expr
case object IndexInvoc extends Invocation
sealed trait Invocation extends Expr
case class InvocationExpr(expr: Expr, invocation: Invocation) extends Expr
case object Is extends TypeOperator
sealed trait Literal extends Expr
case object Lt extends BinaryOperator
case object Lte extends BinaryOperator
case object Minus extends BinaryOperator with UnaryOperator
case object Mod extends BinaryOperator
case object Mult extends BinaryOperator
case object Neq extends BinaryOperator
case object Nequiv extends BinaryOperator
case class OfType(typeSpecifier: TypeSpecifier) extends Invocation
case object Or extends BinaryOperator
case object Plus extends BinaryOperator with UnaryOperator
case class RootPath(typeSpecifier: TypeSpecifier) extends Expr
case class SingleValue(value: Value) extends Literal
case object StringConcat extends BinaryOperator
case object This extends Invocation
case object Total extends Invocation
case object TruncDiv extends BinaryOperator
case class TypeOperation(expr: Expr, op: TypeOperator, typeSpecifier: TypeSpecifier) extends Expr
sealed abstract class TypeOperator(val toString: String)
case class TypeSpecifier(model: String, name: String)
case class UnaryOperation(op: UnaryOperator, expr: Expr) extends Expr
sealed trait UnaryOperator
case object Union extends BinaryOperator
case object Xor extends BinaryOperator