123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896 |
- /* *******************************************************************
- * Copyright (c) 2002,2010
- * 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
- * Adrian Colyer, IBM
- * Andy Clement, IBM, SpringSource
- * ******************************************************************/
-
- package org.aspectj.weaver.patterns;
-
- import java.util.ArrayList;
- import java.util.Collections;
- import java.util.HashMap;
- import java.util.List;
- import java.util.Map;
- import java.util.Set;
-
- import org.aspectj.weaver.ISourceContext;
- import org.aspectj.weaver.Member;
- import org.aspectj.weaver.MemberKind;
- import org.aspectj.weaver.Shadow;
- import org.aspectj.weaver.UnresolvedType;
- import org.aspectj.weaver.World;
- import org.aspectj.weaver.internal.tools.PointcutDesignatorHandlerBasedPointcut;
- import org.aspectj.weaver.tools.ContextBasedMatcher;
- import org.aspectj.weaver.tools.PointcutDesignatorHandler;
-
- /**
- * @author PARC
- * @author Adrian Colyer
- * @author Andy Clement
- */
- // XXX doesn't handle errors for extra tokens very well (sometimes ignores)
- public class PatternParser {
-
- private ITokenSource tokenSource;
- private ISourceContext sourceContext;
-
- /** not thread-safe, but this class is not intended to be... */
- private boolean allowHasTypePatterns = false;
-
- /** extension handlers used in weaver tools API only */
- private Set<PointcutDesignatorHandler> pointcutDesignatorHandlers = Collections.emptySet();
- private World world;
-
- /**
- * Constructor for PatternParser.
- */
- public PatternParser(ITokenSource tokenSource) {
- super();
- this.tokenSource = tokenSource;
- this.sourceContext = tokenSource.getSourceContext();
- }
-
- /** only used by weaver tools API */
- public void setPointcutDesignatorHandlers(Set<PointcutDesignatorHandler> handlers, World world) {
- this.pointcutDesignatorHandlers = handlers;
- this.world = world;
- }
-
- public PerClause maybeParsePerClause() {
- IToken tok = tokenSource.peek();
- if (tok == IToken.EOF) {
- return null;
- }
- if (tok.isIdentifier()) {
- String name = tok.getString();
- if (name.equals("issingleton")) {
- return parsePerSingleton();
- } else if (name.equals("perthis")) {
- return parsePerObject(true);
- } else if (name.equals("pertarget")) {
- return parsePerObject(false);
- } else if (name.equals("percflow")) {
- return parsePerCflow(false);
- } else if (name.equals("percflowbelow")) {
- return parsePerCflow(true);
- } else if (name.equals("pertypewithin")) { // PTWIMPL Parse the pertypewithin clause
- return parsePerTypeWithin();
- } else {
- return null;
- }
- }
- return null;
- }
-
- private PerClause parsePerCflow(boolean isBelow) {
- parseIdentifier();
- eat("(");
- Pointcut entry = parsePointcut();
- eat(")");
- return new PerCflow(entry, isBelow);
- }
-
- private PerClause parsePerObject(boolean isThis) {
- parseIdentifier();
- eat("(");
- Pointcut entry = parsePointcut();
- eat(")");
- return new PerObject(entry, isThis);
- }
-
- private PerClause parsePerTypeWithin() {
- parseIdentifier();
- eat("(");
- TypePattern withinTypePattern = parseTypePattern();
- eat(")");
- return new PerTypeWithin(withinTypePattern);
- }
-
- private PerClause parsePerSingleton() {
- parseIdentifier();
- eat("(");
- eat(")");
- return new PerSingleton();
- }
-
- public Declare parseDeclare() {
- int startPos = tokenSource.peek().getStart();
-
- eatIdentifier("declare");
- String kind = parseIdentifier();
- Declare ret;
- if (kind.equals("error")) {
- eat(":");
- ret = parseErrorOrWarning(true);
- } else if (kind.equals("warning")) {
- eat(":");
- ret = parseErrorOrWarning(false);
- } else if (kind.equals("precedence")) {
- eat(":");
- ret = parseDominates();
- } else if (kind.equals("dominates")) {
- throw new ParserException("name changed to declare precedence", tokenSource.peek(-2));
- } else if (kind.equals("parents")) {
- ret = parseParents();
- } else if (kind.equals("soft")) {
- eat(":");
- ret = parseSoft();
- } else {
- throw new ParserException(
- "expected one of error, warning, parents, soft, precedence, @type, @method, @constructor, @field",
- tokenSource.peek(-1));
- }
- int endPos = tokenSource.peek(-1).getEnd();
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
- }
-
- public Declare parseDeclareAnnotation() {
- int startPos = tokenSource.peek().getStart();
-
- eatIdentifier("declare");
- eat("@");
- String kind = parseIdentifier();
- eat(":");
- Declare ret;
- if (kind.equals("type")) {
- ret = parseDeclareAtType();
- } else if (kind.equals("method")) {
- ret = parseDeclareAtMethod(true);
- } else if (kind.equals("field")) {
- ret = parseDeclareAtField();
- } else if (kind.equals("constructor")) {
- ret = parseDeclareAtMethod(false);
- } else {
- throw new ParserException("one of type, method, field, constructor", tokenSource.peek(-1));
- }
- eat(";");
- int endPos = tokenSource.peek(-1).getEnd();
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
-
- }
-
- public DeclareAnnotation parseDeclareAtType() {
- allowHasTypePatterns = true;
- TypePattern p = parseTypePattern();
- allowHasTypePatterns = false;
- return new DeclareAnnotation(DeclareAnnotation.AT_TYPE, p);
- }
-
- public DeclareAnnotation parseDeclareAtMethod(boolean isMethod) {
- ISignaturePattern sp = parseCompoundMethodOrConstructorSignaturePattern(isMethod);// parseMethodOrConstructorSignaturePattern();
-
- if (!isMethod) {
- return new DeclareAnnotation(DeclareAnnotation.AT_CONSTRUCTOR, sp);
- } else {
- return new DeclareAnnotation(DeclareAnnotation.AT_METHOD, sp);
- }
- }
-
- public DeclareAnnotation parseDeclareAtField() {
- ISignaturePattern compoundFieldSignaturePattern = parseCompoundFieldSignaturePattern();
- DeclareAnnotation da = new DeclareAnnotation(DeclareAnnotation.AT_FIELD, compoundFieldSignaturePattern);
- return da;
- }
-
- public ISignaturePattern parseCompoundFieldSignaturePattern() {
- int index = tokenSource.getIndex();
- try {
- ISignaturePattern atomicFieldSignaturePattern = parseMaybeParenthesizedFieldSignaturePattern();
-
- while (isEitherAndOrOr()) {
- if (maybeEat("&&")) {
- atomicFieldSignaturePattern = new AndSignaturePattern(atomicFieldSignaturePattern,
- parseMaybeParenthesizedFieldSignaturePattern());
- }
- if (maybeEat("||")) {
- atomicFieldSignaturePattern = new OrSignaturePattern(atomicFieldSignaturePattern,
- parseMaybeParenthesizedFieldSignaturePattern());
- }
- }
- return atomicFieldSignaturePattern;
- } catch (ParserException e) {
- // fallback in the case of a regular single field signature pattern that just happened to start with '('
- int nowAt = tokenSource.getIndex();
- tokenSource.setIndex(index);
- try {
- ISignaturePattern fsp = parseFieldSignaturePattern();
- return fsp;
- } catch (Exception e2) {
- tokenSource.setIndex(nowAt);
- // throw the original
- throw e;
- }
- }
- }
-
- private boolean isEitherAndOrOr() {
- String tokenstring = tokenSource.peek().getString();
- return tokenstring.equals("&&") || tokenstring.equals("||");
- }
-
- public ISignaturePattern parseCompoundMethodOrConstructorSignaturePattern(boolean isMethod) {
- ISignaturePattern atomicMethodCtorSignaturePattern = parseMaybeParenthesizedMethodOrConstructorSignaturePattern(isMethod);
-
- while (isEitherAndOrOr()) {
- if (maybeEat("&&")) {
- atomicMethodCtorSignaturePattern = new AndSignaturePattern(atomicMethodCtorSignaturePattern,
- parseMaybeParenthesizedMethodOrConstructorSignaturePattern(isMethod));
- }
- if (maybeEat("||")) {
- atomicMethodCtorSignaturePattern = new OrSignaturePattern(atomicMethodCtorSignaturePattern,
- parseMaybeParenthesizedMethodOrConstructorSignaturePattern(isMethod));
- }
- }
- return atomicMethodCtorSignaturePattern;
- }
-
- public DeclarePrecedence parseDominates() {
- List<TypePattern> l = new ArrayList<TypePattern>();
- do {
- l.add(parseTypePattern());
- } while (maybeEat(","));
-
- return new DeclarePrecedence(l);
- }
-
- private Declare parseParents() {
- /*
- * simplified design requires use of raw types for declare parents, no generic spec. allowed String[] typeParameters =
- * maybeParseSimpleTypeVariableList();
- */
- eat(":");
- allowHasTypePatterns = true;
- TypePattern p = parseTypePattern(false, false);
- allowHasTypePatterns = false;
- IToken t = tokenSource.next();
- if (!(t.getString().equals("extends") || t.getString().equals("implements"))) {
- throw new ParserException("extends or implements", t);
- }
- boolean isExtends = t.getString().equals("extends");
-
- List<TypePattern> l = new ArrayList<TypePattern>();
- do {
- l.add(parseTypePattern());
- } while (maybeEat(","));
-
- // XXX somewhere in the chain we need to enforce that we have only ExactTypePatterns
-
- DeclareParents decp = new DeclareParents(p, l, isExtends);
- return decp;
- }
-
- private Declare parseSoft() {
- TypePattern p = parseTypePattern();
- eat(":");
- Pointcut pointcut = parsePointcut();
- return new DeclareSoft(p, pointcut);
- }
-
- /**
- * Attempt to parse a pointcut, if that fails then try again for a type pattern.
- *
- * @param isError true if it is declare error rather than declare warning
- * @return the new declare
- */
- private Declare parseErrorOrWarning(boolean isError) {
- Pointcut pointcut = null;
- int index = tokenSource.getIndex();
- try {
- pointcut = parsePointcut();
- } catch (ParserException pe) {
- try {
- tokenSource.setIndex(index);
- boolean oldValue = allowHasTypePatterns;
- TypePattern typePattern = null;
- try {
- allowHasTypePatterns = true;
- typePattern = parseTypePattern();
- } finally {
- allowHasTypePatterns = oldValue;
- }
- eat(":");
- String message = parsePossibleStringSequence(true);
- return new DeclareTypeErrorOrWarning(isError, typePattern, message);
- } catch (ParserException pe2) {
- // deliberately throw the original problem
- throw pe;
- }
- }
- eat(":");
- String message = parsePossibleStringSequence(true);
- return new DeclareErrorOrWarning(isError, pointcut, message);
- }
-
- public Pointcut parsePointcut() {
- Pointcut p = parseAtomicPointcut();
- if (maybeEat("&&")) {
- p = new AndPointcut(p, parseNotOrPointcut());
- }
-
- if (maybeEat("||")) {
- p = new OrPointcut(p, parsePointcut());
- }
-
- return p;
- }
-
- private Pointcut parseNotOrPointcut() {
- Pointcut p = parseAtomicPointcut();
- if (maybeEat("&&")) {
- p = new AndPointcut(p, parseNotOrPointcut());
- }
- return p;
- }
-
- private Pointcut parseAtomicPointcut() {
- if (maybeEat("!")) {
- int startPos = tokenSource.peek(-1).getStart();
- Pointcut p = new NotPointcut(parseAtomicPointcut(), startPos);
- return p;
- }
- if (maybeEat("(")) {
- Pointcut p = parsePointcut();
- eat(")");
- return p;
- }
- if (maybeEat("@")) {
- int startPos = tokenSource.peek().getStart();
- Pointcut p = parseAnnotationPointcut();
- int endPos = tokenSource.peek(-1).getEnd();
- p.setLocation(sourceContext, startPos, endPos);
- return p;
- }
- int startPos = tokenSource.peek().getStart();
- Pointcut p = parseSinglePointcut();
- int endPos = tokenSource.peek(-1).getEnd();
- p.setLocation(sourceContext, startPos, endPos);
- return p;
- }
-
- public Pointcut parseSinglePointcut() {
- int start = tokenSource.getIndex();
- IToken t = tokenSource.peek();
- Pointcut p = t.maybeGetParsedPointcut();
- if (p != null) {
- tokenSource.next();
- return p;
- }
-
- String kind = parseIdentifier();
- // IToken possibleTypeVariableToken = tokenSource.peek();
- // String[] typeVariables = maybeParseSimpleTypeVariableList();
- if (kind.equals("execution") || kind.equals("call") || kind.equals("get") || kind.equals("set")) {
- p = parseKindedPointcut(kind);
- } else if (kind.equals("args")) {
- p = parseArgsPointcut();
- } else if (kind.equals("this")) {
- p = parseThisOrTargetPointcut(kind);
- } else if (kind.equals("target")) {
- p = parseThisOrTargetPointcut(kind);
- } else if (kind.equals("within")) {
- p = parseWithinPointcut();
- } else if (kind.equals("withincode")) {
- p = parseWithinCodePointcut();
- } else if (kind.equals("cflow")) {
- p = parseCflowPointcut(false);
- } else if (kind.equals("cflowbelow")) {
- p = parseCflowPointcut(true);
- } else if (kind.equals("adviceexecution")) {
- eat("(");
- eat(")");
- p = new KindedPointcut(Shadow.AdviceExecution, new SignaturePattern(Member.ADVICE, ModifiersPattern.ANY,
- TypePattern.ANY, TypePattern.ANY, NamePattern.ANY, TypePatternList.ANY, ThrowsPattern.ANY,
- AnnotationTypePattern.ANY));
- } else if (kind.equals("handler")) {
- eat("(");
- TypePattern typePat = parseTypePattern(false, false);
- eat(")");
- p = new HandlerPointcut(typePat);
- } else if (kind.equals("lock") || kind.equals("unlock")) {
- p = parseMonitorPointcut(kind);
- } else if (kind.equals("initialization")) {
- eat("(");
- SignaturePattern sig = parseConstructorSignaturePattern();
- eat(")");
- p = new KindedPointcut(Shadow.Initialization, sig);
- } else if (kind.equals("staticinitialization")) {
- eat("(");
- TypePattern typePat = parseTypePattern(false, false);
- eat(")");
- p = new KindedPointcut(Shadow.StaticInitialization, new SignaturePattern(Member.STATIC_INITIALIZATION,
- ModifiersPattern.ANY, TypePattern.ANY, typePat, NamePattern.ANY, TypePatternList.EMPTY, ThrowsPattern.ANY,
- AnnotationTypePattern.ANY));
- } else if (kind.equals("preinitialization")) {
- eat("(");
- SignaturePattern sig = parseConstructorSignaturePattern();
- eat(")");
- p = new KindedPointcut(Shadow.PreInitialization, sig);
- } else if (kind.equals("if")) {
- // - annotation style only allows if(), if(true) or if(false)
- // - if() means the body of the annotated method represents the if expression
- // - anything else is an error because code cannot be put into the if()
- // - code style will already have been processed and the call to maybeGetParsedPointcut()
- // at the top of this method will have succeeded.
- eat("(");
- if (maybeEatIdentifier("true")) {
- eat(")");
- p = new IfPointcut.IfTruePointcut();
- } else if (maybeEatIdentifier("false")) {
- eat(")");
- p = new IfPointcut.IfFalsePointcut();
- } else {
- if (!maybeEat(")")) {
- throw new ParserException(
- "in annotation style, if(...) pointcuts cannot contain code. Use if() and put the code in the annotated method",
- t);
- }
- // TODO - Alex has some token stuff going on here to get a readable name in place of ""...
- p = new IfPointcut("");
- }
- } else {
- boolean matchedByExtensionDesignator = false;
- // see if a registered handler wants to parse it, otherwise
- // treat as a reference pointcut
- for (PointcutDesignatorHandler pcd : pointcutDesignatorHandlers) {
- if (pcd.getDesignatorName().equals(kind)) {
- p = parseDesignatorPointcut(pcd);
- matchedByExtensionDesignator = true;
- }
-
- }
- if (!matchedByExtensionDesignator) {
- tokenSource.setIndex(start);
- p = parseReferencePointcut();
- }
- }
- return p;
- }
-
- private void assertNoTypeVariables(String[] tvs, String errorMessage, IToken token) {
- if (tvs != null) {
- throw new ParserException(errorMessage, token);
- }
- }
-
- public Pointcut parseAnnotationPointcut() {
- int start = tokenSource.getIndex();
- IToken t = tokenSource.peek();
- String kind = parseIdentifier();
- IToken possibleTypeVariableToken = tokenSource.peek();
- String[] typeVariables = maybeParseSimpleTypeVariableList();
- if (typeVariables != null) {
- String message = "(";
- assertNoTypeVariables(typeVariables, message, possibleTypeVariableToken);
- }
- tokenSource.setIndex(start);
- if (kind.equals("annotation")) {
- return parseAtAnnotationPointcut();
- } else if (kind.equals("args")) {
- return parseArgsAnnotationPointcut();
- } else if (kind.equals("this") || kind.equals("target")) {
- return parseThisOrTargetAnnotationPointcut();
- } else if (kind.equals("within")) {
- return parseWithinAnnotationPointcut();
- } else if (kind.equals("withincode")) {
- return parseWithinCodeAnnotationPointcut();
- }
- throw new ParserException("pointcut name", t);
- }
-
- private Pointcut parseAtAnnotationPointcut() {
- parseIdentifier();
- eat("(");
- if (maybeEat(")")) {
- throw new ParserException("@AnnotationName or parameter", tokenSource.peek());
- }
- ExactAnnotationTypePattern type = parseAnnotationNameOrVarTypePattern();
- eat(")");
- return new AnnotationPointcut(type);
- }
-
- private SignaturePattern parseConstructorSignaturePattern() {
- SignaturePattern ret = parseMethodOrConstructorSignaturePattern();
- if (ret.getKind() == Member.CONSTRUCTOR) {
- return ret;
- }
-
- throw new ParserException("constructor pattern required, found method pattern", ret);
- }
-
- private Pointcut parseWithinCodePointcut() {
- // parseIdentifier();
- eat("(");
- SignaturePattern sig = parseMethodOrConstructorSignaturePattern();
- eat(")");
- return new WithincodePointcut(sig);
- }
-
- private Pointcut parseCflowPointcut(boolean isBelow) {
- // parseIdentifier();
- eat("(");
- Pointcut entry = parsePointcut();
- eat(")");
- return new CflowPointcut(entry, isBelow, null);
- }
-
- /**
- * Method parseWithinPointcut.
- *
- * @return Pointcut
- */
- private Pointcut parseWithinPointcut() {
- // parseIdentifier();
- eat("(");
- TypePattern type = parseTypePattern();
- eat(")");
- return new WithinPointcut(type);
- }
-
- /**
- * Method parseThisOrTargetPointcut.
- *
- * @return Pointcut
- */
- private Pointcut parseThisOrTargetPointcut(String kind) {
- eat("(");
- TypePattern type = parseTypePattern();
- eat(")");
- return new ThisOrTargetPointcut(kind.equals("this"), type);
- }
-
- private Pointcut parseThisOrTargetAnnotationPointcut() {
- String kind = parseIdentifier();
- eat("(");
- if (maybeEat(")")) {
- throw new ParserException("expecting @AnnotationName or parameter, but found ')'", tokenSource.peek());
- }
- ExactAnnotationTypePattern type = parseAnnotationNameOrVarTypePattern();
- eat(")");
- return new ThisOrTargetAnnotationPointcut(kind.equals("this"), type);
- }
-
- private Pointcut parseWithinAnnotationPointcut() {
- /* String kind = */parseIdentifier();
- eat("(");
- if (maybeEat(")")) {
- throw new ParserException("expecting @AnnotationName or parameter, but found ')'", tokenSource.peek());
- }
- AnnotationTypePattern type = parseAnnotationNameOrVarTypePattern();
- eat(")");
- return new WithinAnnotationPointcut(type);
- }
-
- private Pointcut parseWithinCodeAnnotationPointcut() {
- /* String kind = */parseIdentifier();
- eat("(");
- if (maybeEat(")")) {
- throw new ParserException("expecting @AnnotationName or parameter, but found ')'", tokenSource.peek());
- }
- ExactAnnotationTypePattern type = parseAnnotationNameOrVarTypePattern();
- eat(")");
- return new WithinCodeAnnotationPointcut(type);
- }
-
- /**
- * Method parseArgsPointcut.
- *
- * @return Pointcut
- */
- private Pointcut parseArgsPointcut() {
- // parseIdentifier();
- TypePatternList arguments = parseArgumentsPattern(false);
- return new ArgsPointcut(arguments);
- }
-
- private Pointcut parseArgsAnnotationPointcut() {
- parseIdentifier();
- AnnotationPatternList arguments = parseArgumentsAnnotationPattern();
- return new ArgsAnnotationPointcut(arguments);
- }
-
- private Pointcut parseReferencePointcut() {
- TypePattern onType = parseTypePattern();
- NamePattern name = null;
- if (onType.typeParameters.size() > 0) {
- eat(".");
- name = parseNamePattern();
- } else {
- name = tryToExtractName(onType);
- }
- if (name == null) {
- throw new ParserException("name pattern", tokenSource.peek());
- }
- if (onType.toString().equals("")) {
- onType = null;
- }
-
- String simpleName = name.maybeGetSimpleName();
- if (simpleName == null) {
- throw new ParserException("(", tokenSource.peek(-1));
- }
-
- TypePatternList arguments = parseArgumentsPattern(false);
- return new ReferencePointcut(onType, simpleName, arguments);
- }
-
- private Pointcut parseDesignatorPointcut(PointcutDesignatorHandler pcdHandler) {
- eat("(");
- int parenCount = 1;
- StringBuffer pointcutBody = new StringBuffer();
- while (parenCount > 0) {
- if (maybeEat("(")) {
- parenCount++;
- pointcutBody.append("(");
- } else if (maybeEat(")")) {
- parenCount--;
- if (parenCount > 0) {
- pointcutBody.append(")");
- }
- } else {
- pointcutBody.append(nextToken().getString());
- }
- }
- ContextBasedMatcher pcExpr = pcdHandler.parse(pointcutBody.toString());
- return new PointcutDesignatorHandlerBasedPointcut(pcExpr, world);
- }
-
- public List<String> parseDottedIdentifier() {
- List<String> ret = new ArrayList<String>();
- ret.add(parseIdentifier());
- while (maybeEat(".")) {
- ret.add(parseIdentifier());
- }
- return ret;
- }
-
- private KindedPointcut parseKindedPointcut(String kind) {
- eat("(");
- SignaturePattern sig;
-
- Shadow.Kind shadowKind = null;
- if (kind.equals("execution")) {
- sig = parseMethodOrConstructorSignaturePattern();
- if (sig.getKind() == Member.METHOD) {
- shadowKind = Shadow.MethodExecution;
- } else if (sig.getKind() == Member.CONSTRUCTOR) {
- shadowKind = Shadow.ConstructorExecution;
- }
- } else if (kind.equals("call")) {
- sig = parseMethodOrConstructorSignaturePattern();
- if (sig.getKind() == Member.METHOD) {
- shadowKind = Shadow.MethodCall;
- } else if (sig.getKind() == Member.CONSTRUCTOR) {
- shadowKind = Shadow.ConstructorCall;
- }
- } else if (kind.equals("get")) {
- sig = parseFieldSignaturePattern();
- shadowKind = Shadow.FieldGet;
- } else if (kind.equals("set")) {
- sig = parseFieldSignaturePattern();
- shadowKind = Shadow.FieldSet;
- } else {
- throw new ParserException("bad kind: " + kind, tokenSource.peek());
- }
- eat(")");
- return new KindedPointcut(shadowKind, sig);
- }
-
- /** Covers the 'lock()' and 'unlock()' pointcuts */
- private KindedPointcut parseMonitorPointcut(String kind) {
- eat("(");
- // TypePattern type = TypePattern.ANY;
- eat(")");
-
- if (kind.equals("lock")) {
- return new KindedPointcut(Shadow.SynchronizationLock, new SignaturePattern(Member.MONITORENTER, ModifiersPattern.ANY,
- TypePattern.ANY, TypePattern.ANY,
- // type,
- NamePattern.ANY, TypePatternList.ANY, ThrowsPattern.ANY, AnnotationTypePattern.ANY));
- } else {
- return new KindedPointcut(Shadow.SynchronizationUnlock, new SignaturePattern(Member.MONITORENTER, ModifiersPattern.ANY,
- TypePattern.ANY, TypePattern.ANY,
- // type,
- NamePattern.ANY, TypePatternList.ANY, ThrowsPattern.ANY, AnnotationTypePattern.ANY));
- }
- }
-
- public TypePattern parseTypePattern() {
- return parseTypePattern(false, false);
- }
-
- public TypePattern parseTypePattern(boolean insideTypeParameters, boolean parameterAnnotationsPossible) {
- TypePattern p = parseAtomicTypePattern(insideTypeParameters, parameterAnnotationsPossible);
- if (maybeEat("&&")) {
- p = new AndTypePattern(p, parseNotOrTypePattern(insideTypeParameters, parameterAnnotationsPossible));
- }
-
- if (maybeEat("||")) {
- p = new OrTypePattern(p, parseTypePattern(insideTypeParameters, parameterAnnotationsPossible));
- }
- return p;
- }
-
- private TypePattern parseNotOrTypePattern(boolean insideTypeParameters, boolean parameterAnnotationsPossible) {
- TypePattern p = parseAtomicTypePattern(insideTypeParameters, parameterAnnotationsPossible);
- if (maybeEat("&&")) {
- p = new AndTypePattern(p, parseTypePattern(insideTypeParameters, parameterAnnotationsPossible));
- }
- return p;
- }
-
- // Need to differentiate in here between two kinds of annotation pattern - depending on where the ( is
-
- private TypePattern parseAtomicTypePattern(boolean insideTypeParameters, boolean parameterAnnotationsPossible) {
- AnnotationTypePattern ap = maybeParseAnnotationPattern(); // might be parameter annotation pattern or type annotation
- // pattern
- if (maybeEat("!")) {
- // int startPos = tokenSource.peek(-1).getStart();
- // ??? we lose source location for true start of !type
-
- // An annotation, if processed, is outside of the Not - so here we have to build
- // an And pattern containing the annotation and the not as left and right children
- // *unless* the annotation pattern was just 'Any' then we can skip building the
- // And and just return the Not directly (pr228980)
- TypePattern p = null;
- TypePattern tp = parseAtomicTypePattern(insideTypeParameters, parameterAnnotationsPossible);
- if (!(ap instanceof AnyAnnotationTypePattern)) {
- p = new NotTypePattern(tp);
- p = new AndTypePattern(setAnnotationPatternForTypePattern(TypePattern.ANY, ap, false), p);
- } else {
- p = new NotTypePattern(tp);
- }
- return p;
- }
- if (maybeEat("(")) {
- int openParenPos = tokenSource.peek(-1).getStart();
- TypePattern p = parseTypePattern(insideTypeParameters, false);
- if ((p instanceof NotTypePattern) && !(ap instanceof AnyAnnotationTypePattern)) {
- // dont set the annotation on it, we don't want the annotation to be
- // considered as part of the not, it is outside the not (pr228980)
- TypePattern tp = setAnnotationPatternForTypePattern(TypePattern.ANY, ap, parameterAnnotationsPossible);
- p = new AndTypePattern(tp, p);
- } else {
- p = setAnnotationPatternForTypePattern(p, ap, parameterAnnotationsPossible);
- }
- eat(")");
- int closeParenPos = tokenSource.peek(-1).getStart();
- boolean isVarArgs = maybeEat("...");
- if (isVarArgs) {
- p.setIsVarArgs(isVarArgs);
- }
- boolean isIncludeSubtypes = maybeEat("+");
- if (isIncludeSubtypes) {
- p.includeSubtypes = true; // need the test because (A+) should not set subtypes to false!
- }
- p.start = openParenPos;
- p.end = closeParenPos;
- return p;
- }
- int startPos = tokenSource.peek().getStart();
- if (ap.start != -1) {
- startPos = ap.start;
- }
- TypePattern p = parseSingleTypePattern(insideTypeParameters);
- int endPos = tokenSource.peek(-1).getEnd();
- p = setAnnotationPatternForTypePattern(p, ap, false);
- p.setLocation(sourceContext, startPos, endPos);
- return p;
- }
-
- private TypePattern setAnnotationPatternForTypePattern(TypePattern t, AnnotationTypePattern ap,
- boolean parameterAnnotationsPattern) {
- TypePattern ret = t;
- if (parameterAnnotationsPattern) {
- ap.setForParameterAnnotationMatch();
- }
- if (ap != AnnotationTypePattern.ANY) {
- if (t == TypePattern.ANY) {
- if (t.annotationPattern == AnnotationTypePattern.ANY) {
- return new AnyWithAnnotationTypePattern(ap);
- } else {
- return new AnyWithAnnotationTypePattern(new AndAnnotationTypePattern(ap, t.annotationPattern));
- }
- // ret = new WildTypePattern(new NamePattern[] { NamePattern.ANY }, false, 0, false, null);
- }
- if (t.annotationPattern == AnnotationTypePattern.ANY) {
- ret.setAnnotationTypePattern(ap);
- } else {
- ret.setAnnotationTypePattern(new AndAnnotationTypePattern(ap, t.annotationPattern)); // ???
- }
- }
- return ret;
- }
-
- public AnnotationTypePattern maybeParseAnnotationPattern() {
- AnnotationTypePattern ret = AnnotationTypePattern.ANY;
- AnnotationTypePattern nextPattern = null;
- while ((nextPattern = maybeParseSingleAnnotationPattern()) != null) {
- if (ret == AnnotationTypePattern.ANY) {
- ret = nextPattern;
- } else {
- ret = new AndAnnotationTypePattern(ret, nextPattern);
- }
- }
- return ret;
- }
-
- // PVAL cope with annotation values at other places in this code
- public AnnotationTypePattern maybeParseSingleAnnotationPattern() {
- AnnotationTypePattern ret = null;
- Map<String, String> values = null;
- // LALR(2) - fix by making "!@" a single token
- int startIndex = tokenSource.getIndex();
- if (maybeEat("!")) {
- if (maybeEat("@")) {
- if (maybeEat("(")) {
- TypePattern p = parseTypePattern();
- ret = new NotAnnotationTypePattern(new WildAnnotationTypePattern(p));
- eat(")");
- return ret;
- } else {
- TypePattern p = parseSingleTypePattern();
- if (maybeEatAdjacent("(")) {
- values = parseAnnotationValues();
- eat(")");
- ret = new NotAnnotationTypePattern(new WildAnnotationTypePattern(p, values));
- } else {
- ret = new NotAnnotationTypePattern(new WildAnnotationTypePattern(p));
- }
- return ret;
- }
- } else {
- tokenSource.setIndex(startIndex); // not for us!
- return ret;
- }
- }
- if (maybeEat("@")) {
- if (maybeEat("(")) {
- TypePattern p = parseTypePattern();
- ret = new WildAnnotationTypePattern(p);
- eat(")");
- return ret;
- } else {
- int atPos = tokenSource.peek(-1).getStart();
- TypePattern p = parseSingleTypePattern();
- if (maybeEatAdjacent("(")) {
- values = parseAnnotationValues();
- eat(")");
- ret = new WildAnnotationTypePattern(p, values);
- } else {
- ret = new WildAnnotationTypePattern(p);
- }
- ret.start = atPos;
- return ret;
- }
- } else {
- tokenSource.setIndex(startIndex); // not for us!
- return ret;
- }
- }
-
- // Parse annotation values. In an expression in @A(a=b,c=d) this method will be
- // parsing the a=b,c=d.)
- public Map<String, String> parseAnnotationValues() {
- Map<String, String> values = new HashMap<String, String>();
- boolean seenDefaultValue = false;
- do {
- String possibleKeyString = parseAnnotationNameValuePattern();
- if (possibleKeyString == null) {
- throw new ParserException("expecting simple literal ", tokenSource.peek(-1));
- }
- // did they specify just a single entry 'v' or a keyvalue pair 'k=v'
- if (maybeEat("=")) {
- // it was a key!
- String valueString = parseAnnotationNameValuePattern();
- if (valueString == null) {
- throw new ParserException("expecting simple literal ", tokenSource.peek(-1));
- }
- values.put(possibleKeyString, valueString);
- } else if (maybeEat("!=")) {
- // it was a key, with a !=
- String valueString = parseAnnotationNameValuePattern();
- if (valueString == null) {
- throw new ParserException("expecting simple literal ", tokenSource.peek(-1));
- }
- // negation is captured by adding a trailing ! to the key name
- values.put(possibleKeyString + "!", valueString);
- } else {
- if (seenDefaultValue) {
- throw new ParserException("cannot specify two default values", tokenSource.peek(-1));
- }
- seenDefaultValue = true;
- values.put("value", possibleKeyString);
- }
- } while (maybeEat(",")); // keep going whilst there are ','
- return values;
- }
-
- public TypePattern parseSingleTypePattern() {
- return parseSingleTypePattern(false);
- }
-
- public TypePattern parseSingleTypePattern(boolean insideTypeParameters) {
- if (insideTypeParameters && maybeEat("?")) {
- return parseGenericsWildcardTypePattern();
- }
- if (allowHasTypePatterns) {
- if (maybeEatIdentifier("hasmethod")) {
- return parseHasMethodTypePattern();
- }
- if (maybeEatIdentifier("hasfield")) {
- return parseHasFieldTypePattern();
- }
- }
-
- // // Check for a type category
- // IToken token = tokenSource.peek();
- // if (token.isIdentifier()) {
- // String category = token.getString();
- // TypeCategoryTypePattern typeIsPattern = null;
- // if (category.equals("isClass")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.CLASS);
- // } else if (category.equals("isAspect")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ASPECT);
- // } else if (category.equals("isInterface")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.INTERFACE);
- // } else if (category.equals("isInner")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.INNER);
- // } else if (category.equals("isAnonymous")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ANONYMOUS);
- // } else if (category.equals("isEnum")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ENUM);
- // } else if (category.equals("isAnnotation")) {
- // typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ANNOTATION);
- // }
- // if (typeIsPattern != null) {
- // tokenSource.next();
- // typeIsPattern.setLocation(tokenSource.getSourceContext(), token.getStart(), token.getEnd());
- // return typeIsPattern;
- // }
- // }
- if (maybeEatIdentifier("is")) {
- int pos = tokenSource.getIndex() - 1;
- TypePattern typeIsPattern = parseIsTypePattern();
- if (typeIsPattern != null) {
- return typeIsPattern;
- }
- // rewind as if we never tried to parse it as a typeIs
- tokenSource.setIndex(pos);
- }
-
- List<NamePattern> names = parseDottedNamePattern();
-
- int dim = 0;
- while (maybeEat("[")) {
- eat("]");
- dim++;
- }
-
- TypePatternList typeParameters = maybeParseTypeParameterList();
- int endPos = tokenSource.peek(-1).getEnd();
-
- boolean includeSubtypes = maybeEat("+");
-
- // TODO do we need to associate the + with either the type or the array?
- while (maybeEat("[")) {
- eat("]");
- dim++;
- }
-
- boolean isVarArgs = maybeEat("...");
-
- // ??? what about the source location of any's????
- if (names.size() == 1 && names.get(0).isAny() && dim == 0 && !isVarArgs && typeParameters == null) {
- return TypePattern.ANY;
- }
-
- // Notice we increase the dimensions if varargs is set. this is to allow type matching to
- // succeed later: The actual signature at runtime of a method declared varargs is an array type of
- // the original declared type (so Integer... becomes Integer[] in the bytecode). So, here for the
- // pattern 'Integer...' we create a WildTypePattern 'Integer[]' with varargs set. If this matches
- // during shadow matching, we confirm that the varargs flags match up before calling it a successful
- // match.
- return new WildTypePattern(names, includeSubtypes, dim + (isVarArgs ? 1 : 0), endPos, isVarArgs, typeParameters);
- }
-
- public TypePattern parseHasMethodTypePattern() {
- int startPos = tokenSource.peek(-1).getStart();
- eat("(");
- SignaturePattern sp = parseMethodOrConstructorSignaturePattern();
- eat(")");
- int endPos = tokenSource.peek(-1).getEnd();
- HasMemberTypePattern ret = new HasMemberTypePattern(sp);
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
- }
-
- /**
- * Attempt to parse a typeIs(<category>) construct. If it cannot be parsed we just return null and that should cause the caller
- * to reset their position and attempt to consume it in another way. This means we won't have problems here: execution(*
- * typeIs(..)) because someone has decided to call a method the same as our construct.
- *
- * @return a TypeIsTypePattern or null if could not be parsed
- */
- public TypePattern parseIsTypePattern() {
- int startPos = tokenSource.peek(-1).getStart(); // that will be the start of the 'typeIs'
- if (!maybeEatAdjacent("(")) {
- return null;
- }
- IToken token = tokenSource.next();
- TypeCategoryTypePattern typeIsPattern = null;
- if (token.isIdentifier()) {
- String category = token.getString();
- if (category.equals("ClassType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.CLASS);
- } else if (category.equals("AspectType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ASPECT);
- } else if (category.equals("InterfaceType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.INTERFACE);
- } else if (category.equals("InnerType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.INNER);
- } else if (category.equals("AnonymousType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ANONYMOUS);
- } else if (category.equals("EnumType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ENUM);
- } else if (category.equals("AnnotationType")) {
- typeIsPattern = new TypeCategoryTypePattern(TypeCategoryTypePattern.ANNOTATION);
- }
- }
- if (typeIsPattern == null) {
- return null;
- }
- if (!maybeEat(")")) {
- throw new ParserException(")", tokenSource.peek());
- }
- int endPos = tokenSource.peek(-1).getEnd();
- typeIsPattern.setLocation(tokenSource.getSourceContext(), startPos, endPos);
- return typeIsPattern;
- }
-
- // if (names.size() == 1 && !names.get(0).isAny()) {
- // if (maybeEatAdjacent("(")) {
- // if (maybeEat(")")) {
- // // likely to be one of isClass()/isInterface()/isInner()/isAnonymous()/isAspect()
- // if (names.size() == 1) {
- // NamePattern np = names.get(0);
- // String simpleName = np.maybeGetSimpleName();
- // if (simpleName != null) {
-
- // return new TypeCategoryTypePattern(TypeCategoryTypePattern.ANNOTATION, np);
- // } else {
- // throw new ParserException(
- // "not a supported type category, supported are isClass/isInterface/isEnum/isAnnotation/isInner/isAnonymous",
- // tokenSource.peek(-3));
- // }
- // }
- // int stop = 1;
- // // return new WildTypePattern(names, includeSubtypes, dim + (isVarArgs ? 1 : 0), endPos, isVarArgs,
- // // typeParameters);
- // }
- // } else {
- // throw new ParserException("category type pattern is missing closing parentheses", tokenSource.peek(-2));
- // }
- // }
- // }
-
- public TypePattern parseHasFieldTypePattern() {
- int startPos = tokenSource.peek(-1).getStart();
- eat("(");
- SignaturePattern sp = parseFieldSignaturePattern();
- eat(")");
- int endPos = tokenSource.peek(-1).getEnd();
- HasMemberTypePattern ret = new HasMemberTypePattern(sp);
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
- }
-
- public TypePattern parseGenericsWildcardTypePattern() {
- List<NamePattern> names = new ArrayList<NamePattern>();
- names.add(new NamePattern("?"));
- TypePattern upperBound = null;
- TypePattern[] additionalInterfaceBounds = new TypePattern[0];
- TypePattern lowerBound = null;
- if (maybeEatIdentifier("extends")) {
- upperBound = parseTypePattern(false, false);
- additionalInterfaceBounds = maybeParseAdditionalInterfaceBounds();
- }
- if (maybeEatIdentifier("super")) {
- lowerBound = parseTypePattern(false, false);
- }
- int endPos = tokenSource.peek(-1).getEnd();
- return new WildTypePattern(names, false, 0, endPos, false, null, upperBound, additionalInterfaceBounds, lowerBound);
- }
-
- // private AnnotationTypePattern completeAnnotationPattern(AnnotationTypePattern p) {
- // if (maybeEat("&&")) {
- // return new AndAnnotationTypePattern(p,parseNotOrAnnotationPattern());
- // }
- // if (maybeEat("||")) {
- // return new OrAnnotationTypePattern(p,parseAnnotationTypePattern());
- // }
- // return p;
- // }
- //
- // protected AnnotationTypePattern parseAnnotationTypePattern() {
- // AnnotationTypePattern ap = parseAtomicAnnotationPattern();
- // if (maybeEat("&&")) {
- // ap = new AndAnnotationTypePattern(ap, parseNotOrAnnotationPattern());
- // }
- //
- // if (maybeEat("||")) {
- // ap = new OrAnnotationTypePattern(ap, parseAnnotationTypePattern());
- // }
- // return ap;
- // }
- //
- // private AnnotationTypePattern parseNotOrAnnotationPattern() {
- // AnnotationTypePattern p = parseAtomicAnnotationPattern();
- // if (maybeEat("&&")) {
- // p = new AndAnnotationTypePattern(p,parseAnnotationTypePattern());
- // }
- // return p;
- // }
-
- protected ExactAnnotationTypePattern parseAnnotationNameOrVarTypePattern() {
- ExactAnnotationTypePattern p = null;
- int startPos = tokenSource.peek().getStart();
- if (maybeEat("@")) {
- throw new ParserException("@Foo form was deprecated in AspectJ 5 M2: annotation name or var ", tokenSource.peek(-1));
- }
- p = parseSimpleAnnotationName();
- int endPos = tokenSource.peek(-1).getEnd();
- p.setLocation(sourceContext, startPos, endPos);
- // For optimized syntax that allows binding directly to annotation values (pr234943)
- if (maybeEat("(")) {
- String formalName = parseIdentifier();
- p = new ExactAnnotationFieldTypePattern(p, formalName);
- eat(")");
- }
- return p;
- }
-
- /**
- * @return
- */
- private ExactAnnotationTypePattern parseSimpleAnnotationName() {
- // the @ has already been eaten...
- ExactAnnotationTypePattern p;
- StringBuffer annotationName = new StringBuffer();
- annotationName.append(parseIdentifier());
- while (maybeEat(".")) {
- annotationName.append('.');
- annotationName.append(parseIdentifier());
- }
- UnresolvedType type = UnresolvedType.forName(annotationName.toString());
- p = new ExactAnnotationTypePattern(type, null);
- return p;
- }
-
- // private AnnotationTypePattern parseAtomicAnnotationPattern() {
- // if (maybeEat("!")) {
- // //int startPos = tokenSource.peek(-1).getStart();
- // //??? we lose source location for true start of !type
- // AnnotationTypePattern p = new NotAnnotationTypePattern(parseAtomicAnnotationPattern());
- // return p;
- // }
- // if (maybeEat("(")) {
- // AnnotationTypePattern p = parseAnnotationTypePattern();
- // eat(")");
- // return p;
- // }
- // int startPos = tokenSource.peek().getStart();
- // eat("@");
- // StringBuffer annotationName = new StringBuffer();
- // annotationName.append(parseIdentifier());
- // while (maybeEat(".")) {
- // annotationName.append('.');
- // annotationName.append(parseIdentifier());
- // }
- // UnresolvedType type = UnresolvedType.forName(annotationName.toString());
- // AnnotationTypePattern p = new ExactAnnotationTypePattern(type);
- // int endPos = tokenSource.peek(-1).getEnd();
- // p.setLocation(sourceContext, startPos, endPos);
- // return p;
- // }
-
- public List<NamePattern> parseDottedNamePattern() {
- List<NamePattern> names = new ArrayList<NamePattern>();
- StringBuffer buf = new StringBuffer();
- IToken previous = null;
- boolean justProcessedEllipsis = false; // Remember if we just dealt with an ellipsis (PR61536)
- boolean justProcessedDot = false;
- boolean onADot = false;
-
- while (true) {
- IToken tok = null;
- int startPos = tokenSource.peek().getStart();
- String afterDot = null;
- while (true) {
- if (previous != null && previous.getString().equals(".")) {
- justProcessedDot = true;
- }
- tok = tokenSource.peek();
- onADot = (tok.getString().equals("."));
- if (previous != null) {
- if (!isAdjacent(previous, tok)) {
- break;
- }
- }
- if (tok.getString() == "*" || (tok.isIdentifier() && tok.getString() != "...")) {
- buf.append(tok.getString());
- } else if (tok.getString() == "...") {
- break;
- } else if (tok.getLiteralKind() != null) {
- // System.err.println("literal kind: " + tok.getString());
- String s = tok.getString();
- int dot = s.indexOf('.');
- if (dot != -1) {
- buf.append(s.substring(0, dot));
- afterDot = s.substring(dot + 1);
- previous = tokenSource.next();
- break;
- }
- buf.append(s); // ??? so-so
- } else {
- break;
- }
- previous = tokenSource.next();
- // XXX need to handle floats and other fun stuff
- }
- int endPos = tokenSource.peek(-1).getEnd();
- if (buf.length() == 0 && names.isEmpty()) {
- throw new ParserException("name pattern", tok);
- }
-
- if (buf.length() == 0 && justProcessedEllipsis) {
- throw new ParserException("name pattern cannot finish with ..", tok);
- }
- if (buf.length() == 0 && justProcessedDot && !onADot) {
- throw new ParserException("name pattern cannot finish with .", tok);
- }
-
- if (buf.length() == 0) {
- names.add(NamePattern.ELLIPSIS);
- justProcessedEllipsis = true;
- } else {
- checkLegalName(buf.toString(), previous);
- NamePattern ret = new NamePattern(buf.toString());
- ret.setLocation(sourceContext, startPos, endPos);
- names.add(ret);
- justProcessedEllipsis = false;
- }
-
- if (afterDot == null) {
- buf.setLength(0);
- // no elipsis or dotted name part
- if (!maybeEat(".")) {
- break;
- // go on
- } else {
- previous = tokenSource.peek(-1);
- }
- } else {
- buf.setLength(0);
- buf.append(afterDot);
- afterDot = null;
- }
- }
- // System.err.println("parsed: " + names);
- return names;
- }
-
- // supported form 'a.b.c.d' or just 'a'
- public String parseAnnotationNameValuePattern() {
- StringBuffer buf = new StringBuffer();
- IToken tok;
- // int startPos =
- tokenSource.peek().getStart();
- boolean dotOK = false;
- int depth = 0;
- while (true) {
- tok = tokenSource.peek();
- // keep going until we hit ')' or '=' or ','
- if (tok.getString() == ")" && depth == 0) {
- break;
- }
- if (tok.getString() == "!=" && depth == 0) {
- break;
- }
- if (tok.getString() == "=" && depth == 0) {
- break;
- }
- if (tok.getString() == "," && depth == 0) {
- break;
- }
- if (tok == IToken.EOF) {
- throw new ParserException("eof", tokenSource.peek());
- }
-
- // keep track of nested brackets
- if (tok.getString() == "(") {
- depth++;
- }
- if (tok.getString() == ")") {
- depth--;
- }
- if (tok.getString() == "{") {
- depth++;
- }
- if (tok.getString() == "}") {
- depth--;
- }
-
- if (tok.getString() == "." && !dotOK) {
- throw new ParserException("dot not expected", tok);
- }
- buf.append(tok.getString());
- tokenSource.next();
- dotOK = true;
- }
- return buf.toString();
- }
-
- public NamePattern parseNamePattern() {
- StringBuffer buf = new StringBuffer();
- IToken previous = null;
- IToken tok;
- int startPos = tokenSource.peek().getStart();
- while (true) {
- tok = tokenSource.peek();
- if (previous != null) {
- if (!isAdjacent(previous, tok)) {
- break;
- }
- }
- if (tok.getString() == "*" || tok.isIdentifier()) {
- buf.append(tok.getString());
- } else if (tok.getLiteralKind() != null) {
- // System.err.println("literal kind: " + tok.getString());
- String s = tok.getString();
- if (s.indexOf('.') != -1) {
- break;
- }
- buf.append(s); // ??? so-so
- } else {
- break;
- }
- previous = tokenSource.next();
- // XXX need to handle floats and other fun stuff
- }
- int endPos = tokenSource.peek(-1).getEnd();
- if (buf.length() == 0) {
- throw new ParserException("name pattern", tok);
- }
-
- checkLegalName(buf.toString(), previous);
- NamePattern ret = new NamePattern(buf.toString());
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
- }
-
- private void checkLegalName(String s, IToken tok) {
- char ch = s.charAt(0);
- if (!(ch == '*' || Character.isJavaIdentifierStart(ch))) {
- throw new ParserException("illegal identifier start (" + ch + ")", tok);
- }
-
- for (int i = 1, len = s.length(); i < len; i++) {
- ch = s.charAt(i);
- if (!(ch == '*' || Character.isJavaIdentifierPart(ch))) {
- throw new ParserException("illegal identifier character (" + ch + ")", tok);
- }
- }
-
- }
-
- private boolean isAdjacent(IToken first, IToken second) {
- return first.getEnd() == second.getStart() - 1;
- }
-
- public ModifiersPattern parseModifiersPattern() {
- int requiredFlags = 0;
- int forbiddenFlags = 0;
- int start;
- while (true) {
- start = tokenSource.getIndex();
- boolean isForbidden = false;
- isForbidden = maybeEat("!");
- IToken t = tokenSource.next();
- int flag = ModifiersPattern.getModifierFlag(t.getString());
- if (flag == -1) {
- break;
- }
- if (isForbidden) {
- forbiddenFlags |= flag;
- } else {
- requiredFlags |= flag;
- }
- }
-
- tokenSource.setIndex(start);
- if (requiredFlags == 0 && forbiddenFlags == 0) {
- return ModifiersPattern.ANY;
- } else {
- return new ModifiersPattern(requiredFlags, forbiddenFlags);
- }
- }
-
- public TypePatternList parseArgumentsPattern(boolean parameterAnnotationsPossible) {
- List<TypePattern> patterns = new ArrayList<TypePattern>();
- eat("(");
-
- // ()
- if (maybeEat(")")) {
- return new TypePatternList();
- }
-
- do {
- if (maybeEat(".")) { // ..
- eat(".");
- patterns.add(TypePattern.ELLIPSIS);
- } else {
- patterns.add(parseTypePattern(false, parameterAnnotationsPossible));
- }
- } while (maybeEat(","));
- eat(")");
- return new TypePatternList(patterns);
- }
-
- public AnnotationPatternList parseArgumentsAnnotationPattern() {
- List<AnnotationTypePattern> patterns = new ArrayList<AnnotationTypePattern>();
- eat("(");
- if (maybeEat(")")) {
- return new AnnotationPatternList();
- }
-
- do {
- if (maybeEat(".")) {
- eat(".");
- patterns.add(AnnotationTypePattern.ELLIPSIS);
- } else if (maybeEat("*")) {
- patterns.add(AnnotationTypePattern.ANY);
- } else {
- patterns.add(parseAnnotationNameOrVarTypePattern());
- }
- } while (maybeEat(","));
- eat(")");
- return new AnnotationPatternList(patterns);
- }
-
- public ThrowsPattern parseOptionalThrowsPattern() {
- IToken t = tokenSource.peek();
- if (t.isIdentifier() && t.getString().equals("throws")) {
- tokenSource.next();
- List<TypePattern> required = new ArrayList<TypePattern>();
- List<TypePattern> forbidden = new ArrayList<TypePattern>();
- do {
- boolean isForbidden = maybeEat("!");
- // ???might want an error for a second ! without a paren
- TypePattern p = parseTypePattern();
- if (isForbidden) {
- forbidden.add(p);
- } else {
- required.add(p);
- }
- } while (maybeEat(","));
- return new ThrowsPattern(new TypePatternList(required), new TypePatternList(forbidden));
- }
- return ThrowsPattern.ANY;
- }
-
- public SignaturePattern parseMethodOrConstructorSignaturePattern() {
- int startPos = tokenSource.peek().getStart();
- AnnotationTypePattern annotationPattern = maybeParseAnnotationPattern();
- ModifiersPattern modifiers = parseModifiersPattern();
- TypePattern returnType = parseTypePattern(false, false);
-
- TypePattern declaringType;
- NamePattern name = null;
- MemberKind kind;
- // here we can check for 'new'
- if (maybeEatNew(returnType)) {
- kind = Member.CONSTRUCTOR;
- if (returnType.toString().length() == 0) {
- declaringType = TypePattern.ANY;
- } else {
- declaringType = returnType;
- }
- returnType = TypePattern.ANY;
- name = NamePattern.ANY;
- } else {
- kind = Member.METHOD;
- IToken nameToken = tokenSource.peek();
- declaringType = parseTypePattern(false, false);
- if (maybeEat(".")) {
- nameToken = tokenSource.peek();
- name = parseNamePattern();
- } else {
- name = tryToExtractName(declaringType);
- if (declaringType.toString().equals("")) {
- declaringType = TypePattern.ANY;
- }
- }
- if (name == null) {
- throw new ParserException("name pattern", tokenSource.peek());
- }
- String simpleName = name.maybeGetSimpleName();
- // XXX should add check for any Java keywords
- if (simpleName != null && simpleName.equals("new")) {
- throw new ParserException("method name (not constructor)", nameToken);
- }
- }
-
- TypePatternList parameterTypes = parseArgumentsPattern(true);
-
- ThrowsPattern throwsPattern = parseOptionalThrowsPattern();
- SignaturePattern ret = new SignaturePattern(kind, modifiers, returnType, declaringType, name, parameterTypes,
- throwsPattern, annotationPattern);
- int endPos = tokenSource.peek(-1).getEnd();
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
- }
-
- private boolean maybeEatNew(TypePattern returnType) {
- if (returnType instanceof WildTypePattern) {
- WildTypePattern p = (WildTypePattern) returnType;
- if (p.maybeExtractName("new")) {
- return true;
- }
- }
- int start = tokenSource.getIndex();
- if (maybeEat(".")) {
- String id = maybeEatIdentifier();
- if (id != null && id.equals("new")) {
- return true;
- }
- tokenSource.setIndex(start);
- }
-
- return false;
- }
-
- public ISignaturePattern parseMaybeParenthesizedFieldSignaturePattern() {
- boolean negated = tokenSource.peek().getString().equals("!") && tokenSource.peek(1).getString().equals("(");
- if (negated) {
- eat("!");
- }
- ISignaturePattern result = null;
- if (maybeEat("(")) {
- result = parseCompoundFieldSignaturePattern();
- eat(")", "missing ')' - unbalanced parentheses around field signature pattern in declare @field");
- if (negated) {
- result = new NotSignaturePattern(result);
- }
- } else {
- result = parseFieldSignaturePattern();
- }
- return result;
- }
-
- public ISignaturePattern parseMaybeParenthesizedMethodOrConstructorSignaturePattern(boolean isMethod) {
- boolean negated = tokenSource.peek().getString().equals("!") && tokenSource.peek(1).getString().equals("(");
- if (negated) {
- eat("!");
- }
- ISignaturePattern result = null;
- if (maybeEat("(")) {
- result = parseCompoundMethodOrConstructorSignaturePattern(isMethod);
- eat(")", "missing ')' - unbalanced parentheses around method/ctor signature pattern in declare annotation");
- if (negated) {
- result = new NotSignaturePattern(result);
- }
- } else {
- SignaturePattern sp = parseMethodOrConstructorSignaturePattern();
- boolean isConstructorPattern = (sp.getKind() == Member.CONSTRUCTOR);
- if (isMethod && isConstructorPattern) {
- throw new ParserException("method signature pattern", tokenSource.peek(-1));
- }
- if (!isMethod && !isConstructorPattern) {
- throw new ParserException("constructor signature pattern", tokenSource.peek(-1));
- }
- result = sp;
- }
-
- return result;
- }
-
- public SignaturePattern parseFieldSignaturePattern() {
- int startPos = tokenSource.peek().getStart();
-
- // TypePatternList followMe = TypePatternList.ANY;
-
- AnnotationTypePattern annotationPattern = maybeParseAnnotationPattern();
- ModifiersPattern modifiers = parseModifiersPattern();
- TypePattern returnType = parseTypePattern();
- TypePattern declaringType = parseTypePattern();
- NamePattern name;
- // System.err.println("parsed field: " + declaringType.toString());
- if (maybeEat(".")) {
- name = parseNamePattern();
- } else {
- name = tryToExtractName(declaringType);
- if (name == null) {
- throw new ParserException("name pattern", tokenSource.peek());
- }
- if (declaringType.toString().equals("")) {
- declaringType = TypePattern.ANY;
- }
- }
- SignaturePattern ret = new SignaturePattern(Member.FIELD, modifiers, returnType, declaringType, name, TypePatternList.ANY,
- ThrowsPattern.ANY, annotationPattern);
-
- int endPos = tokenSource.peek(-1).getEnd();
- ret.setLocation(sourceContext, startPos, endPos);
- return ret;
- }
-
- private NamePattern tryToExtractName(TypePattern nextType) {
- if (nextType == TypePattern.ANY) {
- return NamePattern.ANY;
- } else if (nextType instanceof WildTypePattern) {
- WildTypePattern p = (WildTypePattern) nextType;
- return p.extractName();
- } else {
- return null;
- }
- }
-
- /**
- * Parse type variable declarations for a generic method or at the start of a signature pointcut to identify type variable names
- * in a generic type.
- *
- * @param includeParameterizedTypes
- * @return
- */
- public TypeVariablePatternList maybeParseTypeVariableList() {
- if (!maybeEat("<")) {
- return null;
- }
- List<TypeVariablePattern> typeVars = new ArrayList<TypeVariablePattern>();
- TypeVariablePattern t = parseTypeVariable();
- typeVars.add(t);
- while (maybeEat(",")) {
- TypeVariablePattern nextT = parseTypeVariable();
- typeVars.add(nextT);
- }
- eat(">");
- TypeVariablePattern[] tvs = new TypeVariablePattern[typeVars.size()];
- typeVars.toArray(tvs);
- return new TypeVariablePatternList(tvs);
- }
-
- // of the form execution<T,S,V> - allows identifiers only
- public String[] maybeParseSimpleTypeVariableList() {
- if (!maybeEat("<")) {
- return null;
- }
- List<String> typeVarNames = new ArrayList<String>();
- do {
- typeVarNames.add(parseIdentifier());
- } while (maybeEat(","));
- eat(">", "',' or '>'");
- String[] tvs = new String[typeVarNames.size()];
- typeVarNames.toArray(tvs);
- return tvs;
- }
-
- public TypePatternList maybeParseTypeParameterList() {
- if (!maybeEat("<")) {
- return null;
- }
- List<TypePattern> typePats = new ArrayList<TypePattern>();
- do {
- TypePattern tp = parseTypePattern(true, false);
- typePats.add(tp);
- } while (maybeEat(","));
- eat(">");
- TypePattern[] tps = new TypePattern[typePats.size()];
- typePats.toArray(tps);
- return new TypePatternList(tps);
- }
-
- public TypeVariablePattern parseTypeVariable() {
- TypePattern upperBound = null;
- TypePattern[] additionalInterfaceBounds = null;
- TypePattern lowerBound = null;
- String typeVariableName = parseIdentifier();
- if (maybeEatIdentifier("extends")) {
- upperBound = parseTypePattern();
- additionalInterfaceBounds = maybeParseAdditionalInterfaceBounds();
- } else if (maybeEatIdentifier("super")) {
- lowerBound = parseTypePattern();
- }
- return new TypeVariablePattern(typeVariableName, upperBound, additionalInterfaceBounds, lowerBound);
- }
-
- private TypePattern[] maybeParseAdditionalInterfaceBounds() {
- List<TypePattern> boundsList = new ArrayList<TypePattern>();
- while (maybeEat("&")) {
- TypePattern tp = parseTypePattern();
- boundsList.add(tp);
- }
- if (boundsList.size() == 0) {
- return null;
- }
- TypePattern[] ret = new TypePattern[boundsList.size()];
- boundsList.toArray(ret);
- return ret;
- }
-
- public String parsePossibleStringSequence(boolean shouldEnd) {
- StringBuffer result = new StringBuffer();
-
- IToken token = tokenSource.next();
- if (token.getLiteralKind() == null) {
- throw new ParserException("string", token);
- }
- while (token.getLiteralKind().equals("string")) {
- result.append(token.getString());
- boolean plus = maybeEat("+");
- if (!plus) {
- break;
- }
- token = tokenSource.next();
- if (token.getLiteralKind() == null) {
- throw new ParserException("string", token);
- }
- }
- eatIdentifier(";");
- IToken t = tokenSource.next();
- if (shouldEnd && t != IToken.EOF) {
- throw new ParserException("<string>;", token);
- }
- // bug 125027: since we've eaten the ";" we need to set the index
- // to be one less otherwise the end position isn't set correctly.
- int currentIndex = tokenSource.getIndex();
- tokenSource.setIndex(currentIndex - 1);
-
- return result.toString();
-
- }
-
- public String parseStringLiteral() {
- IToken token = tokenSource.next();
- String literalKind = token.getLiteralKind();
- if (literalKind == "string") {
- return token.getString();
- }
-
- throw new ParserException("string", token);
- }
-
- public String parseIdentifier() {
- IToken token = tokenSource.next();
- if (token.isIdentifier()) {
- return token.getString();
- }
- throw new ParserException("identifier", token);
- }
-
- public void eatIdentifier(String expectedValue) {
- IToken next = tokenSource.next();
- if (!next.getString().equals(expectedValue)) {
- throw new ParserException(expectedValue, next);
- }
- }
-
- public boolean maybeEatIdentifier(String expectedValue) {
- IToken next = tokenSource.peek();
- if (next.getString().equals(expectedValue)) {
- tokenSource.next();
- return true;
- } else {
- return false;
- }
- }
-
- public void eat(String expectedValue) {
- eat(expectedValue, expectedValue);
- }
-
- private void eat(String expectedValue, String expectedMessage) {
- IToken next = nextToken();
- if (next.getString() != expectedValue) {
- if (expectedValue.equals(">") && next.getString().startsWith(">")) {
- // handle problem of >> and >>> being lexed as single tokens
- pendingRightArrows = BasicToken.makeLiteral(next.getString().substring(1).intern(), "string", next.getStart() + 1,
- next.getEnd());
- return;
- }
- throw new ParserException(expectedMessage, next);
- }
- }
-
- private IToken pendingRightArrows;
-
- private IToken nextToken() {
- if (pendingRightArrows != null) {
- IToken ret = pendingRightArrows;
- pendingRightArrows = null;
- return ret;
- } else {
- return tokenSource.next();
- }
- }
-
- public boolean maybeEatAdjacent(String token) {
- IToken next = tokenSource.peek();
- if (next.getString() == token) {
- if (isAdjacent(tokenSource.peek(-1), next)) {
- tokenSource.next();
- return true;
- }
- }
- return false;
- }
-
- public boolean maybeEat(String token) {
- IToken next = tokenSource.peek();
- if (next.getString() == token) {
- tokenSource.next();
- return true;
- } else {
- return false;
- }
- }
-
- public String maybeEatIdentifier() {
- IToken next = tokenSource.peek();
- if (next.isIdentifier()) {
- tokenSource.next();
- return next.getString();
- } else {
- return null;
- }
- }
-
- public boolean peek(String token) {
- IToken next = tokenSource.peek();
- return next.getString() == token;
- }
-
- public void checkEof() {
- IToken last = tokenSource.next();
- if (last != IToken.EOF) {
- throw new ParserException("unexpected pointcut element: " + last.toString(), last);
- }
- }
-
- public PatternParser(String data) {
- this(BasicTokenSource.makeTokenSource(data, null));
- }
-
- public PatternParser(String data, ISourceContext context) {
- this(BasicTokenSource.makeTokenSource(data, context));
- }
- }
|