8990919293949596979899
PhasedUnit pu = listOfUnits.get(0); pu.validateTree(); pu.scanDeclarations(); pu.scanTypeDeclarations(); pu.validateRefinement(); pu.analyseTypes();