Exemplo n.º 1
0
        public bool CanBeImplicitlyConvertedTo(StatePrimitive type)
        {
            var a = this.Order;
            var b = type.Order;

            return(Equals(LcaMap[a, b], type));
        }
Exemplo n.º 2
0
 public void AddAncestor(StatePrimitive type)
 {
     if (!TryAddAncestor(type))
     {
         throw new InvalidOperationException();
     }
 }
Exemplo n.º 3
0
        public StatePrimitive GetLastCommonPrimitiveAncestor(StatePrimitive other)
        {
            var a = this.Order;
            var b = other.Order;

            return(LcaMap[a, b]);
        }
Exemplo n.º 4
0
        public void AddDescedant(StatePrimitive type)
        {
            if (type == null)
            {
                return;
            }

            if (Descedant == null)
            {
                Descedant = type;
            }
            else
            {
                var ancestor = Descedant.GetLastCommonAncestorOrNull(type);
                if (ancestor != null)
                {
                    Descedant = ancestor;
                }
            }
        }
Exemplo n.º 5
0
        public bool TryAddAncestor(StatePrimitive type)
        {
            if (type == null)
            {
                return(true);
            }

            if (Ancestor == null)
            {
                Ancestor = type;
            }
            else
            {
                var res = Ancestor.GetFirstCommonDescendantOrNull(type);
                if (res == null)
                {
                    return(false);
                }
                Ancestor = res;
            }

            return(true);
        }
Exemplo n.º 6
0
        public bool Fits(StatePrimitive primitiveState)
        {
            if (HasAncestor)
            {
                if (!primitiveState.CanBeImplicitlyConvertedTo(Ancestor))
                {
                    return(false);
                }
            }

            if (HasDescendant)
            {
                if (!Descedant.CanBeImplicitlyConvertedTo(primitiveState))
                {
                    return(false);
                }
            }

            if (IsComparable && !primitiveState.IsComparable)
            {
                return(false);
            }
            return(true);
        }
Exemplo n.º 7
0
 public bool CanBeImplicitlyConvertedTo(StatePrimitive type)
 => type.Equals(StatePrimitive.Any);
Exemplo n.º 8
0
 public bool Apply(IStateCombination2dimensionalVisitor visitor, TicNode ancestorNode, TicNode descendantNode,
                   StatePrimitive ancestor)
 => visitor.Apply(ancestor, this, ancestorNode, descendantNode);
Exemplo n.º 9
0
 public StatePrimitive GetFirstCommonDescendantOrNull(StatePrimitive other)
 => FcdMap[this.Order, other.Order];
Exemplo n.º 10
0
 public ConstrainsState(ITypeState desc = null, StatePrimitive anc = null)
 {
     Descedant = desc;
     Ancestor  = anc;
 }