public static TrsTypeDefinitionAtom Convert(this AstTypeDefinitionAtom astIn)
{
if (astIn is AstTypeDefinitionConstant)
{
return(new TrsTypeDefinitionConstant(astIn.SourceToken.TokenString, astIn));
}
else if (astIn is AstTypeDefinitionNumber)
{
return(new TrsTypeDefinitionNumber(astIn.SourceToken.TokenString, astIn));
}
else if (astIn is AstTypeDefinitionString)
{
return(new TrsTypeDefinitionString(astIn.SourceToken.TokenString, astIn));
}
else
{
throw new ArgumentException("Unexpected type: " + astIn.GetType().FullName);
}
}
public TrsTypeDefinitionConstant(string constName, AstTypeDefinitionAtom source = null)
: base(constName, source)
{
}
public TrsTypeDefinitionNumber(string numString, AstTypeDefinitionAtom source = null)
: base(numString, source)
{
}
public TrsTypeDefinitionAtom(string atomValue, AstTypeDefinitionAtom source = null)
{
AstSource = source;
AtomValue = atomValue;
}
public TrsTypeDefinitionString(string strValue, AstTypeDefinitionAtom source = null)
: base(strValue, source)
{
}
