123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278 |
- /* *******************************************************************
- * Copyright (c) 2002 Palo Alto Research Center, Incorporated (PARC).
- * All rights reserved.
- * This program and the accompanying materials are made available
- * under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- *
- * Contributors:
- * PARC initial implementation
- * ******************************************************************/
-
- package org.aspectj.weaver.patterns;
-
- import org.aspectj.weaver.UnresolvedType;
- import org.aspectj.weaver.World;
- import org.aspectj.weaver.reflect.ReflectionWorld;
-
- public class SimpleScopeTest extends PatternsTestCase {
-
- public World getWorld() {
- return new ReflectionWorld(true, this.getClass().getClassLoader());
- }
-
- public void testTestScope() {
- SimpleScope scope = makeTestScope();
-
- FormalBinding formalBinding = scope.lookupFormal("i");
- assertEquals("i", formalBinding.getName());
- assertEquals("I", formalBinding.getType().getSignature());
-
- formalBinding = scope.lookupFormal("string");
- assertEquals("string", formalBinding.getName());
- assertEquals("Ljava/lang/String;", formalBinding.getType().getSignature());
- }
-
- public void test1() {
- SimpleScope scope = makeTestScope();
- UnresolvedType unresolvedType = scope.lookupType("void", null);
- System.out.println(unresolvedType);
- }
-
- public static final String[] ZERO_STRINGS = new String[0];
-
- private TestScope makeTestScope() {
- // i = int
- // string = String
- return new TestScope(new String[] { "int", "java.lang.String" }, new String[] { "i", "string" }, world);
- }
- //
- // public void testStaticMatch() {
- // checkMatch("java.lang.Object", "java.lang.Object", true);
- // checkMatch("java.lang.Object+", "java.lang.Object", true);
- // checkMatch("java.lang.Object+", "java.lang.String", true);
- // checkMatch("java.lang.String+", "java.lang.Object", false);
- // checkMatch("java.lang.Integer", "java.lang.String", false);
- //
- // checkMatch("java.lang.Integer", "int", false);
- //
- // checkMatch("java.lang.Number+", "java.lang.Integer", true);
- //
- // checkMatch("java..*", "java.lang.Integer", true);
- // checkMatch("java..*", "java.lang.reflect.Modifier", true);
- // checkMatch("java..*", "int", false);
- // checkMatch("java..*", "javax.swing.Action", false);
- // checkMatch("java..*+", "javax.swing.Action", true);
- //
- // checkMatch("*.*.Object", "java.lang.Object", true);
- // checkMatch("*.Object", "java.lang.Object", false);
- // checkMatch("*..*", "java.lang.Object", true);
- // checkMatch("*..*", "int", false);
- // checkMatch("java..Modifier", "java.lang.reflect.Modifier", true);
- // checkMatch("java.lang.reflect.Mod..ifier", "java.lang.reflect.Modifier", false);
- //
- // checkMatch("java..reflect..Modifier", "java.lang.reflect.Modifier", true);
- // checkMatch("java..lang..Modifier", "java.lang.reflect.Modifier", true);
- // checkMatch("java..*..Modifier", "java.lang.reflect.Modifier", true);
- // checkMatch("java..*..*..Modifier", "java.lang.reflect.Modifier", true);
- // checkMatch("java..*..*..*..Modifier", "java.lang.reflect.Modifier", false);
- // // checkMatch("java..reflect..Modifier", "java.lang.reflect.Modxifier", false);
- // checkMatch("ja*va..Modifier", "java.lang.reflect.Modifier", true);
- // checkMatch("java..*..Mod*ifier", "java.lang.reflect.Modifier", true);
- //
- // }
- //
- // // three levels:
- // // 0. defined in current compilation unit, or imported by name
- // // 1. defined in current package/type/whatever
- // // 2. defined in package imported by *
- // /**
- // * We've decided not to test this here, but rather in any compilers
- // */
- // public void testImportResolve() {
- // // checkIllegalImportResolution("List", new String[] { "java.util", "java.awt", },
- // // ZERO_STRINGS);
- //
- // }
- //
- // // Assumption for bcweaver: Already resolved type patterns with no *s or ..'s into exact type
- // // patterns. Exact type patterns don't have import lists. non-exact-type pattens don't
- // // care about precedence, so the current package can be included with all the other packages,
- // // and we don't care about compilation units, and we don't care about ordering.
- //
- // // only giving this wild-type patterns
- // public void testImportMatch() {
- //
- // checkImportMatch("*List", new String[] { "java.awt.", }, ZERO_STRINGS, "java.awt.List", true);
- // checkImportMatch("*List", new String[] { "java.awt.", }, ZERO_STRINGS, "java.awt.List", true);
- // checkImportMatch("*List", new String[] { "java.awt.", }, ZERO_STRINGS, "java.util.List", false);
- // checkImportMatch("*List", new String[] { "java.util.", }, ZERO_STRINGS, "java.awt.List", false);
- // checkImportMatch("*List", new String[] { "java.util.", }, ZERO_STRINGS, "java.util.List", true);
- //
- // checkImportMatch("*List", ZERO_STRINGS, new String[] { "java.awt.List", }, "java.awt.List", true);
- //
- // checkImportMatch("awt.*List", ZERO_STRINGS, new String[] { "java.awt.List", }, "java.awt.List", false);
- // checkImportMatch("*Foo", ZERO_STRINGS, new String[] { "java.awt.List", }, "java.awt.List", false);
- //
- // checkImportMatch("*List", new String[] { "java.util.", "java.awt.", }, ZERO_STRINGS, "java.util.List", true);
- // checkImportMatch("*List", new String[] { "java.util.", "java.awt.", }, ZERO_STRINGS, "java.awt.List", true);
- //
- // checkImportMatch("*..List", new String[] { "java.util." }, ZERO_STRINGS, "java.util.List", true);
- // checkImportMatch("*..List", new String[] { "java.util." }, ZERO_STRINGS, "java.awt.List", true);
- //
- // }
- //
- // public void testImportMatchWithInners() {
- // // checkImportMatch("*Entry", new String[] { "java.util.", "java.util.Map$" }, ZERO_STRINGS, "java.util.Map$Entry", true);
- // //
- // // checkImportMatch("java.util.Map.*Entry", ZERO_STRINGS, ZERO_STRINGS, "java.util.Map$Entry", true);
- // //
- // // checkImportMatch("*Entry", new String[] { "java.util.", }, ZERO_STRINGS, "java.util.Map$Entry", false);
- // //
- // // checkImportMatch("*.Entry", new String[] { "java.util.", }, ZERO_STRINGS, "java.util.Map$Entry", true);
- // //
- // // checkImportMatch("Map.*", new String[] { "java.util.", }, ZERO_STRINGS, "java.util.Map$Entry", true);
- //
- // checkImportMatch("Map.*", ZERO_STRINGS, new String[] { "java.util.Map" }, "java.util.Map$Entry", true);
- // }
- //
- // private void checkImportMatch(String wildPattern, String[] importedPackages, String[] importedNames, String matchName,
- // boolean shouldMatch) {
- // WildTypePattern p = makeResolvedWildTypePattern(wildPattern, importedPackages, importedNames);
- // checkPatternMatch(p, matchName, shouldMatch);
- // }
- //
- // private WildTypePattern makeResolvedWildTypePattern(String wildPattern, String[] importedPackages, String[] importedNames) {
- // WildTypePattern unresolved = (WildTypePattern) new PatternParser(wildPattern).parseTypePattern();
- //
- // WildTypePattern resolved = resolve(unresolved, importedPackages, importedNames);
- // return resolved;
- //
- // }
- //
- // private WildTypePattern resolve(WildTypePattern unresolved, String[] importedPrefixes, String[] importedNames) {
- //
- // TestScope scope = makeTestScope();
- // scope.setImportedPrefixes(importedPrefixes);
- // scope.setImportedNames(importedNames);
- // return (WildTypePattern) unresolved.resolveBindings(scope, Bindings.NONE, false, false);
- // }
- //
-
- //
- // public void testInstanceofMatch() {
- //
- // checkInstanceofMatch("java.lang.Object", "java.lang.Object", FuzzyBoolean.YES);
- //
- // checkIllegalInstanceofMatch("java.lang.Object+", "java.lang.Object");
- // checkIllegalInstanceofMatch("java.lang.Object+", "java.lang.String");
- // checkIllegalInstanceofMatch("java.lang.String+", "java.lang.Object");
- // checkIllegalInstanceofMatch("java.lang.*", "java.lang.Object");
- // checkInstanceofMatch("java.lang.Integer", "java.lang.String", FuzzyBoolean.NO);
- //
- // checkInstanceofMatch("java.lang.Number", "java.lang.Integer", FuzzyBoolean.YES);
- // checkInstanceofMatch("java.lang.Integer", "java.lang.Number", FuzzyBoolean.MAYBE);
- //
- // checkIllegalInstanceofMatch("java..Integer", "java.lang.Integer");
- //
- // checkInstanceofMatch("*", "java.lang.Integer", FuzzyBoolean.YES);
- //
- // }
- //
- // public void testArrayMatch() {
- // checkMatch("*[][]", "java.lang.Object", false);
- // checkMatch("*[]", "java.lang.Object[]", true);
- // checkMatch("*[][]", "java.lang.Object[][]", true);
- // checkMatch("java.lang.Object+", "java.lang.Object[]", true);
- // checkMatch("java.lang.Object[]", "java.lang.Object", false);
- // checkMatch("java.lang.Object[]", "java.lang.Object[]", true);
- // checkMatch("java.lang.Object[][]", "java.lang.Object[][]", true);
- // checkMatch("java.lang.String[]", "java.lang.Object", false);
- // checkMatch("java.lang.String[]", "java.lang.Object[]", false);
- // checkMatch("java.lang.String[][]", "java.lang.Object[][]", false);
- // checkMatch("java.lang.Object+[]", "java.lang.String[][]", true);
- // checkMatch("java.lang.Object+[]", "java.lang.String[]", true);
- // checkMatch("java.lang.Object+[]", "int[][]", true);
- // checkMatch("java.lang.Object+[]", "int[]", false);
- // }
- //
- // private void checkIllegalInstanceofMatch(String pattern, String name) {
- // try {
- // TypePattern p = makeTypePattern(pattern);
- // ResolvedType type = world.resolve(name);
- // p.matchesInstanceof(type);
- // } catch (Throwable e) {
- // return;
- // }
- // assertTrue("matching " + pattern + " with " + name + " should fail", false);
- // }
- //
- // private void checkInstanceofMatch(String pattern, String name, FuzzyBoolean shouldMatch) {
- // TypePattern p = makeTypePattern(pattern);
- // ResolvedType type = world.resolve(name);
- //
- // p = p.resolveBindings(makeTestScope(), null, false, false);
- //
- // // System.out.println("type: " + p);
- // FuzzyBoolean result = p.matchesInstanceof(type);
- // String msg = "matches " + pattern + " to " + type;
- // assertEquals(msg, shouldMatch, result);
- // }
- //
- //
- // private TypePattern makeTypePattern(String pattern) {
- // PatternParser pp = new PatternParser(pattern);
- // TypePattern tp = pp.parseSingleTypePattern();
- // pp.checkEof();
- // return tp;
- // }
- //
- // private void checkMatch(String pattern, String name, boolean shouldMatch) {
- // TypePattern p = makeTypePattern(pattern);
- // p = p.resolveBindings(makeTestScope(), null, false, false);
- // checkPatternMatch(p, name, shouldMatch);
- // }
- //
- // private void checkPatternMatch(TypePattern p, String name, boolean shouldMatch) {
- // ResolvedType type = world.resolve(name);
- // // System.out.println("type: " + type);
- // boolean result = p.matchesStatically(type);
- // String msg = "matches " + p + " to " + type + " expected ";
- // if (shouldMatch) {
- // assertTrue(msg + shouldMatch, result);
- // } else {
- // assertTrue(msg + shouldMatch, !result);
- // }
- // }
- //
- // public void testSerialization() throws IOException {
- // String[] patterns = new String[] { "java.lang.Object", "java.lang.Object+", "java.lang.Integer", "int", "java..*",
- // "java..util..*", "*.*.Object", "*", };
- //
- // for (int i = 0, len = patterns.length; i < len; i++) {
- // checkSerialization(patterns[i]);
- // }
- // }
- //
- // /**
- // * Method checkSerialization.
- // *
- // * @param string
- // */
- // private void checkSerialization(String string) throws IOException {
- // TypePattern p = makeTypePattern(string);
- // ByteArrayOutputStream bo = new ByteArrayOutputStream();
- // ConstantPoolSimulator cps = new ConstantPoolSimulator();
- // CompressingDataOutputStream out = new CompressingDataOutputStream(bo, cps);
- // p.write(out);
- // out.close();
- //
- // ByteArrayInputStream bi = new ByteArrayInputStream(bo.toByteArray());
- // VersionedDataInputStream in = new VersionedDataInputStream(bi, cps);
- // TypePattern newP = TypePattern.read(in, null);
- //
- // assertEquals("write/read", p, newP);
- // }
-
- }
|