public static SClassDefinition tcClass(ClassList classes, SClassDefinition clazz) throws AnalysisException, VDMErrorsException { for (SClassDefinition c : classes) { clearTypeData(c); } TypeCheckerAssistantFactory af = new TypeCheckerAssistantFactory(); ClassTypeChecker.clearErrors(); ClassTypeChecker classTc = new ClassTypeChecker(classes, af); classes.add(clazz); classTc.typeCheck(); if (TypeChecker.getErrorCount() > 0) { throw new VDMErrorsException(TypeChecker.getErrors()); } else { return clazz; } }
public static TypeCheckResult<List<SClassDefinition>> typeCheckPp( File file, String charset) { ParserResult<List<SClassDefinition>> parserResult = ParserUtil.parseOo(file, charset); return typeCheck(parserResult, parserResult.result, new ClassTypeChecker(parserResult.result)); }
Environment allClasses = getAllClassesEnvronment(); } catch (TypeCheckException te) report(3427, te.getMessage(), te.location); report(3427, e.getMessage(), e.location); report(3431, te.getMessage(), null);// FIXME: internal error QuestionAnswerAdaptor<TypeCheckInfo, PType> tc = getTypeCheckVisitor(); for (Pass pass : Pass.values()) } catch (TypeCheckException te) report(3428, te.getMessage(), te.location); report(3428, e.getMessage(), e.location); report(3431, te.getMessage(), null);// FIXME: internal error cyclicDependencyCheck(allDefs);
public static TypeCheckResult<List<SClassDefinition>> typeCheckPp( List<File> file, String charset) { ParserResult<List<SClassDefinition>> parserResult = ParserUtil.parseOo(file, charset); return typeCheck(parserResult, parserResult.result, new ClassTypeChecker(parserResult.result)); }
public static PExp tcExp(ClassList classes, PExp exp) throws AnalysisException, VDMErrorsException { TypeCheckerAssistantFactory af = new TypeCheckerAssistantFactory(); ClassTypeChecker.clearErrors(); ClassTypeChecker classTc = new ClassTypeChecker(classes, af); for (SClassDefinition c : classes) { clearTypeData(c); } classTc.typeCheck(); TypeCheckVisitor tc = new TypeCheckVisitor(); TypeChecker.clearErrors(); Environment env = new PublicClassEnvironment(af, classes, null); exp.apply(tc, new TypeCheckInfo(af, env, NameScope.NAMESANDSTATE)); if (TypeChecker.getErrorCount() > 0) { throw new VDMErrorsException(TypeChecker.getErrors()); } else { return exp; } }
public static TypeCheckResult<List<SClassDefinition>> typeCheckPp( String content, String charset) { ParserResult<List<SClassDefinition>> parserResult = ParserUtil.parseOo(content, charset); return typeCheck(parserResult, parserResult.result, new ClassTypeChecker(parserResult.result)); }
protected static TypeCheckResult<List<SClassDefinition>> typeCheckRt( ParserResult<List<SClassDefinition>> parserResult) throws ParserException, LexException { final ITypeCheckerAssistantFactory af = new TypeCheckerAssistantFactory(); List<SClassDefinition> classes = new Vector<SClassDefinition>(); classes.addAll(parserResult.result); classes.add(AstFactoryTC.newACpuClassDefinition(af)); classes.add(AstFactoryTC.newABusClassDefinition(af)); return typeCheck(parserResult, classes, new ClassTypeChecker(classes, af)); }
TypeChecker typeChecker = new ClassTypeChecker(classes, assistantFactory); typeChecker.typeCheck(); } catch (InternalException e)