BnfInlineRuleTest.java

package org.intellij.grammar;

import com.intellij.psi.PsiFile;
import com.intellij.psi.util.PsiTreeUtil;
import com.intellij.testFramework.fixtures.LightPlatformCodeInsightFixtureTestCase;
import org.intellij.grammar.psi.BnfRule;
import org.intellij.grammar.refactor.BnfInlineRuleProcessor;

/**
 * @author gregsh
 */
public class BnfInlineRuleTest extends LightPlatformCodeInsightFixtureTestCase {

  public void testTokenSimple() throws Exception { doTest("inline ::= token; rule ::= inline", "rule ::= token"); }
  public void testTokenQuantified() throws Exception { doTest("inline ::= token; rule ::= inline? inline+ inline*", "rule ::= token? token+ token*"); }
  public void testTokenParen() throws Exception { doTest("inline ::= token; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x token) [x token] {x token}"); }
  public void testTokenParenTrivial() throws Exception { doTest("inline ::= token; rule ::= (inline) [inline] {inline}", "rule ::= token token? token"); }
  public void testTokenChoice() throws Exception { doTest("inline ::= token; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | token) [x | token] {x | token}"); }

  public void testSequenceSimple() throws Exception { doTest("inline ::= tok en; rule ::= inline", "rule ::= tok en"); }
  public void testSequenceQuantified() throws Exception { doTest("inline ::= tok en; rule ::= inline? inline+ inline*", "rule ::= (tok en)? (tok en)+ (tok en)*"); }
  public void testSequenceParen() throws Exception { doTest("inline ::= tok en; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x tok en) [x tok en] {x tok en}"); }
  public void testSequenceParenTrivial() throws Exception { doTest("inline ::= tok en; rule ::= (inline) [inline] {inline}", "rule ::= tok en [tok en] tok en"); }
  public void testSequenceChoice() throws Exception { doTest("inline ::= tok en; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | tok en) [x | tok en] {x | tok en}"); }

  public void testChoiceSimple() throws Exception { doTest("inline ::= tok|en; rule ::= inline", "rule ::= tok|en"); }
  public void testChoiceQuantified() throws Exception { doTest("inline ::= tok|en; rule ::= inline? inline+ inline*", "rule ::= (tok|en)? (tok|en)+ (tok|en)*"); }
  public void testChoiceParen() throws Exception { doTest("inline ::= tok|en; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x (tok|en)) [x (tok|en)] {x (tok|en)}"); }
  public void testChoiceParenTrivial() throws Exception { doTest("inline ::= tok|en; rule ::= (inline) [inline] {inline}", "rule ::= (tok|en) [tok|en] {tok|en}"); }
  public void testChoiceChoice() throws Exception { doTest("inline ::= tok|en; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | tok|en) [x | tok|en] {x | tok|en}"); }

  public void testOptionalSimple() throws Exception { doTest("inline ::= token?; rule ::= inline", "rule ::= token?"); }
  public void testOptionalQuantified() throws Exception { doTest("inline ::= token?; rule ::= inline? inline+ inline*", "rule ::= token? token* token*"); }
  public void testOptionalParen() throws Exception { doTest("inline ::= token?; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x token?) [x token?] {x token?}"); }
  public void testOptionalParenTrivial() throws Exception { doTest("inline ::= token?; rule ::= (inline) [inline] {inline}", "rule ::= token? token? token?"); }
  public void testOptionalChoice() throws Exception { doTest("inline ::= token?; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | token?) [x | token?] {x | token?}"); }

  public void testOneManylSimple() throws Exception { doTest("inline ::= token+; rule ::= inline", "rule ::= token+"); }
  public void testOneManylQuantified() throws Exception { doTest("inline ::= token+; rule ::= inline? inline+ inline*", "rule ::= token* token+ token*"); }
  public void testOneManylParen() throws Exception { doTest("inline ::= token+; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x token+) [x token+] {x token+}"); }
  public void testOneManylParenTrivial() throws Exception { doTest("inline ::= token+; rule ::= (inline) [inline] {inline}", "rule ::= token+ token* token+"); }
  public void testOneManylChoice() throws Exception { doTest("inline ::= token+; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | token+) [x | token+] {x | token+}"); }

  public void testZeroManylSimple() throws Exception { doTest("inline ::= token*; rule ::= inline", "rule ::= token*"); }
  public void testZeroManylQuantified() throws Exception { doTest("inline ::= token*; rule ::= inline? inline+ inline*", "rule ::= token* token* token*"); }
  public void testZeroManylParen() throws Exception { doTest("inline ::= token*; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x token*) [x token*] {x token*}"); }
  public void testZeroManylParenTrivial() throws Exception { doTest("inline ::= token*; rule ::= (inline) [inline] {inline}", "rule ::= token* token* token*"); }
  public void testZeroManylChoice() throws Exception { doTest("inline ::= token*; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | token*) [x | token*] {x | token*}"); }

  public void testOptSequenceSimple() throws Exception { doTest("inline ::= [tok en]; rule ::= inline", "rule ::= [tok en]"); }
  public void testOptSequenceQuantified() throws Exception { doTest("inline ::= [tok en]; rule ::= inline? inline+ inline*", "rule ::= [tok en] (tok en)* (tok en)*"); }
  public void testOptSequenceParen() throws Exception { doTest("inline ::= [tok en]; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x [tok en]) [x [tok en]] {x [tok en]}"); }
  public void testOptSequenceParenTrivial() throws Exception { doTest("inline ::= [tok en]; rule ::= (inline) [inline] {inline}", "rule ::= [tok en] [tok en] [tok en]"); }
  public void testOptSequenceChoice() throws Exception { doTest("inline ::= [tok en]; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | [tok en]) [x | [tok en]] {x | [tok en]}"); }

  public void testAltChoiceSimple() throws Exception { doTest("inline ::= {tok|en}; rule ::= inline", "rule ::= tok|en"); }
  public void testAltChoiceQuantified() throws Exception { doTest("inline ::= {tok|en}; rule ::= inline? inline+ inline*", "rule ::= {tok|en}? {tok|en}+ {tok|en}*"); }
  public void testAltChoiceParen() throws Exception { doTest("inline ::= {tok|en}; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x {tok|en}) [x {tok|en}] {x {tok|en}}"); }
  public void testAltChoiceParenTrivial() throws Exception { doTest("inline ::= {tok|en}; rule ::= (inline) [inline] {inline}", "rule ::= (tok|en) [tok|en] {tok|en}"); }
  public void testAltChoiceChoice() throws Exception { doTest("inline ::= {tok|en}; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | tok|en) [x | tok|en] {x | tok|en}"); }

  public void testParenTokenSimple() throws Exception { doTest("inline ::= (token); rule ::= inline", "rule ::= token"); }
  public void testParenTokenQuantified() throws Exception { doTest("inline ::= (token); rule ::= inline? inline+ inline*", "rule ::= token? token+ token*"); }
  public void testParenTokenParen() throws Exception { doTest("inline ::= (token); rule ::= (x inline) [x inline] {x inline}", "rule ::= (x token) [x token] {x token}"); }
  public void testParenTokenParenTrivial() throws Exception { doTest("inline ::= (token); rule ::= (inline) [inline] {inline}", "rule ::= token token? token"); }
  public void testParenTokenChoice() throws Exception { doTest("inline ::= (token); rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | token) [x | token] {x | token}"); }

  public void testParenSequenceSimple() throws Exception { doTest("inline ::= (tok en); rule ::= inline", "rule ::= tok en"); }
  public void testParenSequenceQuantified() throws Exception { doTest("inline ::= (tok en); rule ::= inline? inline+ inline*", "rule ::= (tok en)? (tok en)+ (tok en)*"); }
  public void testParenSequenceParen() throws Exception { doTest("inline ::= (tok en); rule ::= (x inline) [x inline] {x inline}", "rule ::= (x tok en) [x tok en] {x tok en}"); }
  public void testParenSequenceParenTrivial() throws Exception { doTest("inline ::= (tok en); rule ::= (inline) [inline] {inline}", "rule ::= tok en [tok en] tok en"); }
  public void testParenSequenceChoice() throws Exception { doTest("inline ::= (tok en); rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | tok en) [x | tok en] {x | tok en}"); }

  public void testParenChoiceSimple() throws Exception { doTest("inline ::= (tok|en); rule ::= inline", "rule ::= tok|en"); }
  public void testParenChoiceQuantified() throws Exception { doTest("inline ::= (tok|en); rule ::= inline? inline+ inline*", "rule ::= (tok|en)? (tok|en)+ (tok|en)*"); }
  public void testParenChoiceParen() throws Exception { doTest("inline ::= (tok|en); rule ::= (x inline) [x inline] {x inline}", "rule ::= (x (tok|en)) [x (tok|en)] {x (tok|en)}"); }
  public void testParenChoiceParenTrivial() throws Exception { doTest("inline ::= (tok|en); rule ::= (inline) [inline] {inline}", "rule ::= (tok|en) [tok|en] {tok|en}"); }
  public void testParenChoiceChoice() throws Exception { doTest("inline ::= (tok|en); rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | tok|en) [x | tok|en] {x | tok|en}"); }

  public void testParenOptionalSimple() throws Exception { doTest("inline ::= (tok en)?; rule ::= inline", "rule ::= (tok en)?"); }
  public void testParenOptionalQuantified() throws Exception { doTest("inline ::= (tok en)?; rule ::= inline? inline+ inline*", "rule ::= (tok en)? (tok en)* (tok en)*"); }
  public void testParenOptionalParen() throws Exception { doTest("inline ::= (tok en)?; rule ::= (x inline) [x inline] {x inline}", "rule ::= (x (tok en)?) [x (tok en)?] {x (tok en)?}"); }
  public void testParenOptionalParenTrivial() throws Exception { doTest("inline ::= (tok en)?; rule ::= (inline) [inline] {inline}", "rule ::= (tok en)? (tok en)? (tok en)?"); }
  public void testParenOptionalChoice() throws Exception { doTest("inline ::= (tok en)?; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | (tok en)?) [x | (tok en)?] {x | (tok en)?}"); }

  public void testChoiceInChoice() throws Exception { doTest("inline ::= (tok|en) x; rule ::= (x | inline) [x | inline] {x | inline}", "rule ::= (x | (tok|en) x) [x | (tok|en) x] {x | (tok|en) x}"); }

  public void testSimpleMetaRule() throws Exception { doTest("meta inline ::= <<p>> (x <<p>>) *; rule ::= <<inline y>>", "rule ::= y (x y) *"); }
  public void testComplexMetaRule() throws Exception { doTest("meta inline ::= <<p>> (x <<p>>) *; rule ::= <<inline <<inline y>>>>", "rule ::= y (x y) * (x y (x y) *) *"); }
  public void testComplexExternalMetaRule() throws Exception { doTest("meta inline ::= <<p>> (x <<p>>) *; external rule ::= inline <<inline y>>", "rule ::= y (x y) * (x y (x y) *) *"); }


  private void doTest(/*@Language("BNF")*/ String text, /*@Language("BNF")*/ String expected) {
    PsiFile file = myFixture.configureByText("a.bnf", text);
    BnfRule rule = PsiTreeUtil.getChildOfType(file, BnfRule.class);
    assertNotNull(rule);
    new BnfInlineRuleProcessor(rule, getProject(), null, false).run();
    assertSameLines(expected, file.getText());
  }
}