Uses of Interface
org.multijava.mjc.JClassOrGFImportType

Packages that use JClassOrGFImportType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JClassOrGFImportType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JClassOrGFImportType

class

JmlClassOrGFImport This type represents (in the AST) import statements for single classes or generic functions, e.g., import java.util.ArrayList; or import org.multijava.samples.typecheck.

Methods in org.jmlspecs.checker that return JClassOrGFImportType

JClassOrGFImportType[]	JmlCompilationUnit.importedClasses()
JClassOrGFImportType[]	JmlCompilationUnit.importedGFs()
JClassOrGFImportType[]	JmlCompilationUnit.importedUnits()

Uses of JClassOrGFImportType in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JClassOrGFImportType

void	SpecWriter.visitClassOrGFImport(JClassOrGFImportType self) visits a class import declaration

Uses of JClassOrGFImportType in org.multijava.mjc

Classes in org.multijava.mjc that implement JClassOrGFImportType

class

JClassOrGFImport This class represents (in the AST) import statements for single classes or generic functions, e.g., import java.util.ArrayList; or import org.multijava.samples.typecheck.

Fields in org.multijava.mjc declared as JClassOrGFImportType

private JClassOrGFImportType[]	JCompilationUnit.importedClasses
private JClassOrGFImportType[]	JCompilationUnit.importedGFs
private JClassOrGFImportType[]	CCompilationUnit.importedClasses
private JClassOrGFImportType[]	CCompilationUnit.importedGFs

Methods in org.multijava.mjc that return JClassOrGFImportType

JClassOrGFImportType[]	JCompilationUnit.importedClasses()
JClassOrGFImportType[]	JCompilationUnit.importedUnits() Returns an array of the class and generic function imports for this compilation unit.
JClassOrGFImportType[]	JCompilationUnit.importedGFs()
abstract JClassOrGFImportType[]	JCompilationUnitType.importedClasses()
abstract JClassOrGFImportType[]	JCompilationUnitType.importedUnits() Returns an array of the class and generic function imports for this compilation unit.
abstract JClassOrGFImportType[]	JCompilationUnitType.importedGFs()
JClassOrGFImportType[]	CCompilationUnit.importedClasses()

Methods in org.multijava.mjc with parameters of type JClassOrGFImportType

void	CCompilationUnit.update(JClassOrGFImportType[] importedClasses, JClassOrGFImportType[] importedGFs, JPackageImportType[] importedPackages, Hashtable loadedClasses, CGFCollectionMap loadedGFCollections) Updates the compilation unit after completion of grouping open methods.
void	CParseCompilationUnitContext.addSingleImport(JClassOrGFImportType clazz)