1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/* 2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver [The "BSD license"] 3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Copyright (c) 2010 Terence Parr 4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver All rights reserved. 5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Redistribution and use in source and binary forms, with or without 7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver modification, are permitted provided that the following conditions 8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver are met: 9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 1. Redistributions of source code must retain the above copyright 10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver notice, this list of conditions and the following disclaimer. 11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 2. Redistributions in binary form must reproduce the above copyright 12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver notice, this list of conditions and the following disclaimer in the 13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver documentation and/or other materials provided with the distribution. 14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 3. The name of the author may not be used to endorse or promote products 15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver derived from this software without specific prior written permission. 16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver*/ 28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** We need to set Rule.referencedPredefinedRuleAttributes before 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * code generation. This filter looks at an action in context of 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * its rule and outer alternative number and figures out which 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * rules have predefined prefs referenced. I need this so I can 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * remove unusued labels. This also tracks, for labeled rules, 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * which are referenced by actions. 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverlexer grammar ActionAnalysis; 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveroptions { 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver filter=true; // try all non-fragment rules in order specified 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@header { 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpackage org.antlr.grammar.v3; 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.antlr.runtime.*; 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.antlr.tool.*; 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@members { 48324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverRule enclosingRule; 49324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverGrammar grammar; 50324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverToken actionToken; 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverint outerAltNum = 0; 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public ActionAnalysis(Grammar grammar, String ruleName, GrammarAST actionAST) 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this(new ANTLRStringStream(actionAST.token.getText())); 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.grammar = grammar; 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.enclosingRule = grammar.getLocallyDefinedRule(ruleName); 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.actionToken = actionAST.token; 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.outerAltNum = actionAST.outerAltNum; 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic void analyze() { 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // System.out.println("###\naction="+actionToken); 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token t; 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver do { 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver t = nextToken(); 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } while ( t.getType()!= Token.EOF ); 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** $x.y x is enclosing rule or rule ref or rule label 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * y is a return value, parameter, or predefined property. 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 74324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverX_Y : '$' x=ID '.' y=ID {enclosingRule!=null}? 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver AttributeScope scope = null; 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String refdRuleName = null; 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( $x.text.equals(enclosingRule.name) ) { 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // ref to enclosing rule. 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver refdRuleName = $x.text; 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver scope = enclosingRule.getLocalAttributeScope($y.text); 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver else if ( enclosingRule.getRuleLabel($x.text)!=null ) { 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // ref to rule label 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Grammar.LabelElementPair pair = enclosingRule.getRuleLabel($x.text); 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver pair.actionReferencesLabel = true; 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver refdRuleName = pair.referencedRuleName; 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Rule refdRule = grammar.getRule(refdRuleName); 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( refdRule!=null ) { 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver scope = refdRule.getLocalAttributeScope($y.text); 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver else if ( enclosingRule.getRuleRefsInAlt(x.getText(), outerAltNum)!=null ) { 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // ref to rule referenced in this alt 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver refdRuleName = $x.text; 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Rule refdRule = grammar.getRule(refdRuleName); 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( refdRule!=null ) { 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver scope = refdRule.getLocalAttributeScope($y.text); 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( scope!=null && 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver (scope.isPredefinedRuleScope||scope.isPredefinedLexerRuleScope) ) 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver grammar.referenceRuleLabelPredefinedAttribute(refdRuleName); 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //System.out.println("referenceRuleLabelPredefinedAttribute for "+refdRuleName); 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** $x x is an isolated rule label. Just record that the label was referenced */ 111324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverX : '$' x=ID {enclosingRule!=null && enclosingRule.getRuleLabel($x.text)!=null}? 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Grammar.LabelElementPair pair = enclosingRule.getRuleLabel($x.text); 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver pair.actionReferencesLabel = true; 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** $y y is a return value, parameter, or predefined property of current rule */ 119324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverY : '$' ID {enclosingRule!=null && enclosingRule.getLocalAttributeScope($ID.text)!=null}? 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver AttributeScope scope = enclosingRule.getLocalAttributeScope($ID.text); 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( scope!=null && 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver (scope.isPredefinedRuleScope||scope.isPredefinedLexerRuleScope) ) 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver grammar.referenceRuleLabelPredefinedAttribute(enclosingRule.name); 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //System.out.println("referenceRuleLabelPredefinedAttribute for "+$ID.text); 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 132324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')* 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 134