jdk-sandbox: make/langtools/tools/crules/AssertCheckAnalyzer.java@f62d1d1c2d9c (annotated)

25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	1	/*
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	2	* Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved.
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	4	*
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
49158 f62d1d1c2d9c 8194296: Check copyright of files in make/langtools/tools jjg parents: 47216 diff changeset	7	* published by the Free Software Foundation. Oracle designates this
f62d1d1c2d9c 8194296: Check copyright of files in make/langtools/tools jjg parents: 47216 diff changeset	8	* particular file as subject to the "Classpath" exception as provided
f62d1d1c2d9c 8194296: Check copyright of files in make/langtools/tools jjg parents: 47216 diff changeset	9	* by Oracle in the LICENSE file that accompanied this code.
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	10	*
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	11	* This code is distributed in the hope that it will be useful, but WITHOUT
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	12	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	13	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	14	* version 2 for more details (a copy is included in the LICENSE file that
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	15	* accompanied this code).
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	16	*
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	17	* You should have received a copy of the GNU General Public License version
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	18	* 2 along with this work; if not, write to the Free Software Foundation,
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	19	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	20	*
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	21	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	22	* or visit www.oracle.com if you need additional information or have any
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	23	* questions.
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	24	*/
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	25
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	26	package crules;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	27
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	28	import com.sun.source.tree.LambdaExpressionTree.BodyKind;
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	29	import com.sun.source.util.JavacTask;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	30	import com.sun.source.util.TaskEvent.Kind;
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	31	import com.sun.tools.javac.code.Kinds;
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	32	import com.sun.tools.javac.code.Symbol;
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	33	import com.sun.tools.javac.code.Type;
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	34	import com.sun.tools.javac.tree.JCTree.JCExpression;
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	35	import com.sun.tools.javac.tree.JCTree.JCLambda;
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	36	import com.sun.tools.javac.tree.JCTree.JCMethodInvocation;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	37	import com.sun.tools.javac.tree.JCTree.Tag;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	38	import com.sun.tools.javac.tree.TreeInfo;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	39	import com.sun.tools.javac.tree.TreeScanner;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	40	import com.sun.tools.javac.util.Assert;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	41
38510 3f450a95c68f 8054562: document skip results in RunCodingRules.java jlahoda parents: 29294 diff changeset	42	/**This analyzer guards against complex messages (i.e. those that use string concatenation) passed
3f450a95c68f 8054562: document skip results in RunCodingRules.java jlahoda parents: 29294 diff changeset	43	* to various Assert.check methods.
3f450a95c68f 8054562: document skip results in RunCodingRules.java jlahoda parents: 29294 diff changeset	44	*/
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	45	public class AssertCheckAnalyzer extends AbstractCodingRulesAnalyzer {
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	46
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	47	enum AssertOverloadKind {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	48	EAGER("crules.should.not.use.eager.string.evaluation"),
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	49	LAZY("crules.should.not.use.lazy.string.evaluation"),
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	50	NONE(null);
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	51
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	52	String errKey;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	53
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	54	AssertOverloadKind(String errKey) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	55	this.errKey = errKey;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	56	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	57
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	58	boolean simpleArgExpected() {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	59	return this == AssertOverloadKind.EAGER;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	60	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	61	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	62
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	63	public AssertCheckAnalyzer(JavacTask task) {
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	64	super(task);
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	65	treeVisitor = new AssertCheckVisitor();
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	66	eventKind = Kind.ANALYZE;
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	67	}
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	68
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	69	class AssertCheckVisitor extends TreeScanner {
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	70
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	71	@Override
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	72	public void visitApply(JCMethodInvocation tree) {
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	73	Symbol m = TreeInfo.symbolFor(tree);
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	74	AssertOverloadKind ak = assertOverloadKind(m);
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	75	if (ak != AssertOverloadKind.NONE &&
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	76	!m.name.contentEquals("error")) {
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	77	JCExpression lastParam = tree.args.last();
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	78	if (isSimpleStringArg(lastParam) != ak.simpleArgExpected()) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	79	messages.error(lastParam, ak.errKey);
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	80	}
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	81	}
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	82
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	83	super.visitApply(tree);
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	84	}
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	85
29294 376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	86	AssertOverloadKind assertOverloadKind(Symbol method) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	87	if (method == null \|\|
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	88	!method.owner.getQualifiedName().contentEquals(Assert.class.getName()) \|\|
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	89	method.type.getParameterTypes().tail == null) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	90	return AssertOverloadKind.NONE;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	91	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	92	Type formal = method.type.getParameterTypes().last();
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	93	if (types.isSameType(formal, syms.stringType)) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	94	return AssertOverloadKind.EAGER;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	95	} else if (types.isSameType(types.erasure(formal), types.erasure(syms.supplierType))) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	96	return AssertOverloadKind.LAZY;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	97	} else {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	98	return AssertOverloadKind.NONE;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	99	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	100	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	101
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	102	boolean isSimpleStringArg(JCExpression e) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	103	switch (e.getTag()) {
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	104	case LAMBDA:
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	105	JCLambda lambda = (JCLambda)e;
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	106	return (lambda.getBodyKind() == BodyKind.EXPRESSION) &&
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	107	isSimpleStringArg((JCExpression)lambda.body);
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	108	default:
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	109	Symbol argSym = TreeInfo.symbolFor(e);
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	110	return (e.type.constValue() != null \|\|
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	111	(argSym != null && argSym.kind == Kinds.Kind.VAR));
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	112	}
376a915b4ff0 8073645: Add lambda-based lazy eval versions of Assert.check methods mcimadamore parents: 25848 diff changeset	113	}
25848 3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	114	}
3bc09f4676a9 8043643: Add an crules analyzer avoiding string concatenation in messages of Assert checks. jlahoda parents: diff changeset	115	}

author	jjg
	Thu, 08 Mar 2018 13:09:31 -0800
changeset 49158	f62d1d1c2d9c
parent 47216	71c04702a3d5
permissions	-rw-r--r--