Uses of Class
at.jku.ssw.fp.expr.Expr
-
Packages that use Expr Package Description at.jku.ssw.fp.expr at.jku.ssw.fp.sect04_5 at.jku.ssw.fp.sect05_3.parser at.jku.ssw.fp.sect06_3_4 -
-
Uses of Expr in at.jku.ssw.fp.expr
Subclasses of Expr in at.jku.ssw.fp.expr Modifier and Type Class Description static class
Expr.And
Class representing and-expressions.(package private) static class
Expr.BinOp
Abstract base class for binary expressions.static class
Expr.Lit
Class representing literal expressions.static class
Expr.Not
Class representing not-expressions.static class
Expr.Or
Class representing or-expressions.static class
Expr.Var
The class representing variable expressions.Fields in at.jku.ssw.fp.expr declared as Expr Modifier and Type Field Description Expr
Expr.BinOp. left
The left subexpression of the binary expressionExpr
Expr.BinOp. right
The right subexpression of the binary expressionExpr
Expr.Not. sub
The subexpression of this not-expression.Methods in at.jku.ssw.fp.expr with parameters of type Expr Modifier and Type Method Description static Expr.And
Expr. mkAnd(Expr left, Expr right)
Returns an and-expression with a left and right subexpression.static Expr.Not
Expr. mkNot(Expr expr)
Creates an not-expression with a subexpression.static Expr.Or
Expr. mkOr(Expr left, Expr right)
Creates an or-expression with a left and right subexpression.Constructors in at.jku.ssw.fp.expr with parameters of type Expr Constructor Description And(Expr left, Expr right)
Constructor initializing left and right subexpressions.BinOp(Expr left, Expr right)
Constructor initializing left and right subexpressions.Not(Expr sub)
Constructor initializing the subexpression.Or(Expr left, Expr right)
Constructor initializing left and right subexpressions. -
Uses of Expr in at.jku.ssw.fp.sect04_5
Methods in at.jku.ssw.fp.sect04_5 with parameters of type Expr Modifier and Type Method Description (package private) static String
Demo6_TypeTestFunction. mkString(Expr expr)
static String
Demo6_TypeTestFunction. mkString2(Expr expr)
static String
Demo6_TypeTestFunction. mkString3(Expr expr)
-
Uses of Expr in at.jku.ssw.fp.sect05_3.parser
Fields in at.jku.ssw.fp.sect05_3.parser with type parameters of type Expr Modifier and Type Field Description Parser<Expr>
ExprParser. exprParser
Variable to memoize the created expression parser.Parser<Expr>
ExprParser. exprParserDefected
Defected implementation of expression parser.Methods in at.jku.ssw.fp.sect05_3.parser that return types with arguments of type Expr Modifier and Type Method Description Parser<Expr>
ExprParser. exprParser()
Creates an parser for Boolean expressions.Result<Expr>
ExprParser. parse(FList<String> tokens)
Applies the expression parser on a list of tokens.Result<Expr>
ExprParser. parse(String input)
Applies the expression parser on an input string. -
Uses of Expr in at.jku.ssw.fp.sect06_3_4
Methods in at.jku.ssw.fp.sect06_3_4 with parameters of type Expr Modifier and Type Method Description (package private) static boolean
Demo1_ExprEvalSequential. eval(Expr expr, Map<String,Boolean> bds)
(package private) static boolean
Demo1_ExprEvalSequentialExcpt. eval(Expr expr, Map<String,Boolean> bds)
(package private) static Optional<Boolean>
Demo3_ExprEvalOptional. eval(Expr expr, Map<String,Boolean> bds)
(package private) static FSet<Boolean>
Demo4_ExprEvalFSet. eval(Expr expr, Map<String,Set<Boolean>> bds)
(package private) static Logged<Boolean>
Demo5_ExprEvalLogged. eval(Expr expr, Map<String,Boolean> bds)
(package private) static Reader<Map<String,Boolean>,Boolean>
Demo6_ExprEvalReader. eval(Expr expr)
(package private) static Id<Boolean>
Demo2_ExprEvalId. evalOpt(Expr expr, Map<String,Boolean> bds)
-