private static TrsTypeDefinitionTermBase ConvertAstTypeDefinitionTermBase(AstTypeDefinitionTermBase astIn)
{
if (astIn is AstTypeDefinitionAtom)
{
return(((AstTypeDefinitionAtom)astIn).Convert());
}
else if (astIn is AstTypeDefinitionVariable)
{
return(((AstTypeDefinitionVariable)astIn).Convert());
}
else if (astIn is AstTypeDefinitionTerm)
{
return(((AstTypeDefinitionTerm)astIn).Convert());
}
else if (astIn is AstTypeDefinitionAcTerm)
{
return(((AstTypeDefinitionAcTerm)astIn).Convert());
}
else if (astIn is AstTypeDefinitionName)
{
return(((AstTypeDefinitionName)astIn).Convert());
}
else
{
throw new ArgumentException("Found unexpected AST type: " + astIn.GetType().FullName);
}
}
private static TrsTypeDefinitionTermBase ConvertAstTypeDefinitionTermBase(AstTypeDefinitionTermBase astIn)
{
if (astIn is AstTypeDefinitionAtom) return ((AstTypeDefinitionAtom)astIn).Convert();
else if (astIn is AstTypeDefinitionVariable) return ((AstTypeDefinitionVariable)astIn).Convert();
else if (astIn is AstTypeDefinitionTerm) return ((AstTypeDefinitionTerm)astIn).Convert();
else if (astIn is AstTypeDefinitionAcTerm) return ((AstTypeDefinitionAcTerm)astIn).Convert();
else if (astIn is AstTypeDefinitionName) return ((AstTypeDefinitionName)astIn).Convert();
else throw new ArgumentException("Found unexpected AST type: " + astIn.GetType().FullName);
}
