Lines Matching defs:pk
79 public FooClass(PackageKind pk, ConstructorKind ck) {
80 super(URI.create("myfo:/" + (pk != PackageKind.DEFAULT ? "a/Foo.java" : "Foo.java")),
82 source = sourceStub.replace("#P", pk.pkgDecl).replace("#M", ck.mod);
101 public ClientClass(PackageKind pk) {
103 source = sourceStub.replace("#I", pk.importDecl);
113 for (PackageKind pk : PackageKind.values()) {
115 compileAndCheck(pk, ck);
120 static void compileAndCheck(PackageKind pk, ConstructorKind ck) throws Exception {
121 FooClass foo = new FooClass(pk, ck);
122 ClientClass client = new ClientClass(pk);
128 if (el.errors > 0 == check(pk, ck)) {
136 static boolean check(PackageKind pk, ConstructorKind ck) {
137 switch (pk) {