2 types derived from BoolLiteral
System.Data.Entity (2)
System\Data\Mapping\ViewGeneration\Structures\BoolLiteral.cs (1)
177internal abstract class TrueFalseLiteral : BoolLiteral
System\Data\Mapping\ViewGeneration\Structures\MemberRestriction.cs (1)
29internal abstract class MemberRestriction : BoolLiteral
114 references to BoolLiteral
System.Data.Entity (114)
System\Data\Mapping\ViewGeneration\CqlGeneration\BooleanProjectedSlot.cs (1)
35BoolLiteral.EqualityComparer.Equals((CellIdBoolean)expr.AsLiteral, m_originalCell), "Cellid boolean for the slot and cell number disagree");
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryKB.cs (6)
22internal class FragmentQueryKB : KnowledgeBase<DomainConstraint<BoolLiteral, Constant>> 24private BoolExpr<DomainConstraint<BoolLiteral, Constant>> _kbExpression = TrueExpr<DomainConstraint<BoolLiteral, Constant>>.Value; 26internal override void AddFact(BoolExpr<DomainConstraint<BoolLiteral, Constant>> fact) 29_kbExpression = new AndExpr<DomainConstraint<BoolLiteral, Constant>>(_kbExpression, fact); 31internal BoolExpr<DomainConstraint<BoolLiteral, Constant>> KbExpression
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (8)
23using BoolDomainConstraint = DomainConstraint<BoolLiteral, Constant>; 113IEnumerable<DomainVariable<BoolLiteral, Constant>> variables = view.Condition.Variables; 114foreach (DomainVariable<BoolLiteral, Constant> var in variables) 131DomainConstraint<BoolLiteral, Constant> constraint = new DomainConstraint<BoolLiteral, Constant>(var, 135new AndExpr<DomainConstraint<BoolLiteral, Constant>>(view.Condition.Tree, 136new NotExpr<DomainConstraint<BoolLiteral, Constant>>(new TermExpr<DomainConstraint<BoolLiteral, Constant>>(constraint))));
System\Data\Mapping\ViewGeneration\QueryRewriting\QueryRewriter.cs (5)
743Dictionary<BoolLiteral, BoolLiteral> literalRemap = new Dictionary<BoolLiteral, BoolLiteral>(BoolLiteral.EqualityIdentifierComparer);
System\Data\Mapping\ViewGeneration\QueryRewriting\RewritingValidator.cs (9)
386private class WhereClauseVisitor : Visitor<DomainConstraint<BoolLiteral, Constant>, CellTreeNode> 405internal override CellTreeNode VisitAnd(AndExpr<DomainConstraint<BoolLiteral, Constant>> expression) 423internal override CellTreeNode VisitTrue(TrueExpr<DomainConstraint<BoolLiteral, Constant>> expression) 428internal override CellTreeNode VisitTerm(TermExpr<DomainConstraint<BoolLiteral, Constant>> expression) 453internal override CellTreeNode VisitFalse(FalseExpr<DomainConstraint<BoolLiteral, Constant>> expression) 457internal override CellTreeNode VisitNot(NotExpr<DomainConstraint<BoolLiteral, Constant>> expression) 461internal override CellTreeNode VisitOr(OrExpr<DomainConstraint<BoolLiteral, Constant>> expression) 471private IEnumerable<CellTreeNode> AcceptChildren(IEnumerable<BoolExpr<DomainConstraint<BoolLiteral, Constant>>> children) 473foreach (BoolExpr<DomainConstraint<BoolLiteral, Constant>> child in children) { yield return child.Accept(this); }
System\Data\Mapping\ViewGeneration\QueryRewriting\RoleBoolean.cs (2)
91protected override bool IsEqualTo(BoolLiteral right) 106internal override BoolLiteral RemapBool(Dictionary<MemberPath, MemberPath> remap)
System\Data\Mapping\ViewGeneration\Structures\BoolExpression.cs (23)
21using BoolDomainConstraint = DomainConstraint<BoolLiteral, Constant>; 22using DomainAndExpr = AndExpr<DomainConstraint<BoolLiteral, Constant>>; 23using DomainBoolExpr = BoolExpr<DomainConstraint<BoolLiteral, Constant>>; 24using DomainFalseExpr = FalseExpr<DomainConstraint<BoolLiteral, Constant>>; 25using DomainNotExpr = NotExpr<DomainConstraint<BoolLiteral, Constant>>; 26using DomainOrExpr = OrExpr<DomainConstraint<BoolLiteral, Constant>>; 27using DomainTermExpr = TermExpr<DomainConstraint<BoolLiteral, Constant>>; 28using DomainTrueExpr = TrueExpr<DomainConstraint<BoolLiteral, Constant>>; 37internal static BoolExpression CreateLiteral(BoolLiteral literal, MemberDomainMap memberDomainMap) 44internal BoolExpression Create(BoolLiteral literal) 168internal IEnumerable<BoolLiteral> Leaves 184internal BoolLiteral AsLiteral 190BoolLiteral result = GetBoolLiteral(literal); 196internal static BoolLiteral GetBoolLiteral(DomainTermExpr term) 198DomainConstraint<BoolLiteral, Constant> domainConstraint = term.Identifier; 199DomainVariable<BoolLiteral, Constant> variable = domainConstraint.Variable; 250internal IEnumerable<DomainConstraint<BoolLiteral, Constant>> VariableConstraints 252get { return LeafVisitor<DomainConstraint<BoolLiteral, Constant>>.GetLeaves(m_tree); } 255internal IEnumerable<DomainVariable<BoolLiteral, Constant>> Variables 264foreach (DomainVariable<BoolLiteral, Constant> var in Variables) 302internal BoolExpression RemapLiterals(Dictionary<BoolLiteral, BoolLiteral> remap) 308BoolLiteral newLiteral;
System\Data\Mapping\ViewGeneration\Structures\BoolExpressionVisitors.cs (21)
21using BoolDomainConstraint = DomainConstraint<BoolLiteral, Constant>; 22using DomainAndExpr = AndExpr<DomainConstraint<BoolLiteral, Constant>>; 23using DomainBoolExpr = BoolExpr<DomainConstraint<BoolLiteral, Constant>>; 24using DomainFalseExpr = FalseExpr<DomainConstraint<BoolLiteral, Constant>>; 25using DomainNotExpr = NotExpr<DomainConstraint<BoolLiteral, Constant>>; 26using DomainOrExpr = OrExpr<DomainConstraint<BoolLiteral, Constant>>; 27using DomainTermExpr = TermExpr<DomainConstraint<BoolLiteral, Constant>>; 28using DomainTreeExpr = TreeExpr<DomainConstraint<BoolLiteral, Constant>>; 29using DomainTrueExpr = TrueExpr<DomainConstraint<BoolLiteral, Constant>>; 64BoolLiteral literal = BoolExpression.GetBoolLiteral(expression); 97BoolLiteral literal = BoolExpression.GetBoolLiteral(expression); 175BoolLiteral literal = BoolExpression.GetBoolLiteral(expression); 176BoolLiteral newLiteral = literal.RemapBool(m_remap); 211BoolLiteral literal = BoolExpression.GetBoolLiteral(expression); 254protected override StringBuilder BooleanLiteralAsCql(BoolLiteral literal, bool skipIsNotNull) 336protected override DbExpression BooleanLiteralAsCql(BoolLiteral literal, bool skipIsNotNull) 403BoolLiteral literal = BoolExpression.GetBoolLiteral(expression); 406protected abstract T_Return BooleanLiteralAsCql(BoolLiteral literal, bool skipIsNotNull); 467BoolLiteral literal = BoolExpression.GetBoolLiteral(expression); 484BoolLiteral literal = BoolExpression.GetBoolLiteral(termExpr); 647BoolLiteral literal = BoolExpression.GetBoolLiteral(expression);
System\Data\Mapping\ViewGeneration\Structures\BoolLiteral.cs (22)
19using DomainConstraint = System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>; 20using DomainVariable = System.Data.Common.Utils.Boolean.DomainVariable<BoolLiteral, Constant>; 21using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 22using DomainNotExpr = System.Data.Common.Utils.Boolean.NotExpr <System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 23using DomainTermExpr = System.Data.Common.Utils.Boolean.TermExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 27/// Conditions represented by <see cref="BoolLiteral"/>s need to be synchronized with <see cref="DomainConstraint"/>s, 28/// which may be modified upon calling <see cref="BoolExpression.ExpensiveSimplify"/>. This is what the method <see cref="BoolLiteral.FixRange"/> is used for. 33internal static readonly IEqualityComparer<BoolLiteral> EqualityComparer = new BoolLiteralComparer(); 34internal static readonly IEqualityComparer<BoolLiteral> EqualityIdentifierComparer = new IdentifierComparer(); 41internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, IEnumerable<Constant> domain, IEnumerable<Constant> range) 51internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, Set<Constant> domain, Set<Constant> range) 74internal abstract BoolLiteral RemapBool(Dictionary<MemberPath, MemberPath> remap); 100protected virtual bool IsIdentifierEqualTo(BoolLiteral right) 105protected abstract bool IsEqualTo(BoolLiteral right); 120private sealed class BoolLiteralComparer : IEqualityComparer<BoolLiteral> 122public bool Equals(BoolLiteral left, BoolLiteral right) 139public int GetHashCode(BoolLiteral literal) 150private sealed class IdentifierComparer : IEqualityComparer<BoolLiteral> 152public bool Equals(BoolLiteral left, BoolLiteral right) 169public int GetHashCode(BoolLiteral literal)
System\Data\Mapping\ViewGeneration\Structures\CellIdBoolean.cs (2)
90protected override bool IsEqualTo(BoolLiteral right) 105internal override BoolLiteral RemapBool(Dictionary<MemberPath, MemberPath> remap)
System\Data\Mapping\ViewGeneration\Structures\CellQuery.cs (1)
676BoolLiteral literal = atom.AsLiteral;
System\Data\Mapping\ViewGeneration\Structures\MemberRestriction.cs (8)
20using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 21using DomainTermExpr = System.Data.Common.Utils.Boolean.TermExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 130/// See <see cref="BoolLiteral.GetRequiredSlots"/>. 141/// See <see cref="BoolLiteral.IsEqualTo"/>. Member restriction can be incomplete for this operation. 143protected override bool IsEqualTo(BoolLiteral right) 173/// See <see cref="BoolLiteral.IsIdentifierEqualTo"/>. Member restriction can be incomplete for this operation. 175protected override bool IsIdentifierEqualTo(BoolLiteral right) 190/// See <see cref="BoolLiteral.GetIdentifierHash"/>. Member restriction can be incomplete for this operation.
System\Data\Mapping\ViewGeneration\Structures\ScalarRestriction.cs (3)
21using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 64BoolLiteral newLiteral = new ScalarRestriction(RestrictedMemberSlot, new Domain(range, newPossibleValues)); 68internal override BoolLiteral RemapBool(Dictionary<MemberPath, MemberPath> remap)
System\Data\Mapping\ViewGeneration\Structures\TypeRestriction.cs (3)
22using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 63BoolLiteral newLiteral = new TypeRestriction(RestrictedMemberSlot, new Domain(range, possibleValues)); 67internal override BoolLiteral RemapBool(Dictionary<MemberPath, MemberPath> remap)