public static PExp typeCheckEntryPoint(ClassList classes, String expression, Dialect dialect) throws VDMErrorsException, AnalysisException { SClassDefinition defaultModule = null; LexNameToken name = new LexNameToken("CLASS", "DEFAULT", new LexLocation()); defaultModule = AstFactory.newAClassClassDefinition(name, null, null); defaultModule.setUsed(true); PExp exp = parseExpression(expression, defaultModule.getName().getName(), dialect); return tcExp(classes, exp); }