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());
}
