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) { }