Searched refs:getIfTrue (Results 1 – 3 of 3) sorted by relevance
36 public Expr getIfTrue() { in getIfTrue() method in TernaryExpr55 final String trueInvertible = getIfTrue().getInvertibleError(); in getInvertibleError()65 final Expr ifTrue = getIfTrue(); in resolveType()72 return modelAnalyzer.findCommonParentOf(getIfTrue().getResolvedType(), in resolveType()90 Expr ifTrueExpr = getIfTrue(); in constructDependencies()110 .app(" ? ", getIfTrue().toCode(expand)) in generateCode()120 .tab(getIfTrue().toInverseCode(variable)) in toInverseCode()
257 final TernaryExpr innerTernary = (TernaryExpr) ternaryExpr.getIfTrue(); in testTernaryInsideTernary()277 assertFlags(ternaryExpr.getIfTrue(), cond1True); in testTernaryInsideTernary()283 assertExactMatch(toRead, innerTernary.getIfTrue(), innerTernary.getIfFalse(), ternaryExpr, in testTernaryInsideTernary()285 assertFlags(innerTernary.getIfTrue(), innerTernary.getRequirementFlagIndex(true)); in testTernaryInsideTernary()301 final Expr bTernary = ((TernaryExpr) aTernary).getIfTrue(); in testRequirementFlags()379 Expr u1GetCondD = ((TernaryExpr) bcTernary.getIfTrue()).getPred(); in testPostConditionalDependencies()382 Expr u1Name = abTernary.getIfTrue(); in testPostConditionalDependencies()384 Expr u1LastName = ((TernaryExpr) bcTernary.getIfTrue()).getIfTrue(); in testPostConditionalDependencies()385 Expr u2LastName = ((TernaryExpr) bcTernary.getIfTrue()).getIfFalse(); in testPostConditionalDependencies()406 abTernary.getIfTrue(), abTernary.getIfFalse()}; in testPostConditionalDependencies()[all …]
130 assertTrue(parsed.getIfTrue() instanceof SymbolExpr); in testTernary()133 SymbolExpr ifTrue = (SymbolExpr) parsed.getIfTrue(); in testTernary()