Example 11 with ModuleDecl
use of org.abs_models.frontend.ast.ModuleDecl in project abstools by abstools.
the class VarResolutionTest method getTestModule.
private static ModuleDecl getTestModule(Model m) {
ModuleDecl md = m.lookupModule("UnitTest");
assertNotNull("Module UnitTest not found", md);
return md;
}
Also used :
ModuleDecl(org.abs_models.frontend.ast.ModuleDecl)
Aggregations
ModuleDecl (org.abs_models.frontend.ast.ModuleDecl)11
Model (org.abs_models.frontend.ast.Model)8
Test (org.junit.Test)7
ClassDecl (org.abs_models.frontend.ast.ClassDecl)5
KindedName (org.abs_models.frontend.typechecker.KindedName)5
ABSTest (org.abs_models.ABSTest)4
FrontendTest (org.abs_models.frontend.FrontendTest)4
MethodImpl (org.abs_models.frontend.ast.MethodImpl)3
MethodSig (org.abs_models.frontend.ast.MethodSig)3
ParamDecl (org.abs_models.frontend.ast.ParamDecl)3
ReturnStmt (org.abs_models.frontend.ast.ReturnStmt)3
VarOrFieldUse (org.abs_models.frontend.ast.VarOrFieldUse)3
ArrayList (java.util.ArrayList)2
CompilationUnit (org.abs_models.frontend.ast.CompilationUnit)2
Decl (org.abs_models.frontend.ast.Decl)2
DeltaDecl (org.abs_models.frontend.ast.DeltaDecl)2
FunctionDecl (org.abs_models.frontend.ast.FunctionDecl)2
VarUse (org.abs_models.frontend.ast.VarUse)2
ResolvedName (org.abs_models.frontend.typechecker.ResolvedName)2
PrintWriter (java.io.PrintWriter)1
