equal
deleted
inserted
replaced
1279 |
1279 |
1280 public Void visitMethodType(MethodType type, Void ignore) { |
1280 public Void visitMethodType(MethodType type, Void ignore) { |
1281 printList("argtypes", type.argtypes); |
1281 printList("argtypes", type.argtypes); |
1282 printType("restype", type.restype, Details.FULL); |
1282 printType("restype", type.restype, Details.FULL); |
1283 printList("thrown", type.thrown); |
1283 printList("thrown", type.thrown); |
|
1284 printType("recvtype", type.recvtype, Details.FULL); |
1284 return visitType(type, null); |
1285 return visitType(type, null); |
1285 } |
1286 } |
1286 |
1287 |
1287 public Void visitPackageType(PackageType type, Void ignore) { |
1288 public Void visitPackageType(PackageType type, Void ignore) { |
1288 return visitType(type, null); |
1289 return visitType(type, null); |