public override string ToString() { var output = new Output(); var definitionStatus = DefinitionStatus.ToStringOutput(); output.Append(definitionStatus); if (definitionStatus.Length > 0) { output.Append(" "); } SubExpression.ToStringFormatted(output); return(output.ToString()); }
public static string ToStringOutput(this DefinitionStatus definitionStatus) { switch (definitionStatus) { case DefinitionStatus.None: return(""); case DefinitionStatus.EquivalentTo: return("==="); case DefinitionStatus.SubTypeOf: return("<<<"); default: throw new InvalidEnumArgumentException(nameof(definitionStatus), (int)definitionStatus, typeof(DefinitionStatus)); } }
public Expression(FocusConcept focusConcept, IRefinement refinement = null, DefinitionStatus definitionStatus = DefinitionStatus.None) { DefinitionStatus = definitionStatus; SubExpression = new SubExpression(focusConcept, refinement); }
public Expression(SubExpression subExpression, DefinitionStatus definitionStatus = DefinitionStatus.None) { DefinitionStatus = definitionStatus; SubExpression = subExpression; }
public Expression(IEnumerable <FocusConcept> focusConcepts, IRefinement refinement = null, DefinitionStatus definitionStatus = DefinitionStatus.None) { DefinitionStatus = definitionStatus; SubExpression = new SubExpression(focusConcepts, refinement); }
public bool ContainsSlot() { return(DefinitionStatus.ContainsSlot() || Subexpression.ContainsSlot()); }