AutomatonWithSTInfo4Test.java

/*
 * ******************************************************************************
 * MontiCore Language Workbench
 * Copyright (c) 2015, MontiCore, All rights reserved.
 *
 * This project is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 3.0 of the License, or (at your option) any later version.
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this project. If not, see <http://www.gnu.org/licenses/>.
 * ******************************************************************************
 */

package mc.feature.symboltable;

import static org.junit.Assert.assertFalse;

import mc.GeneratorIntegrationsTest;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonElementKind;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonElementResolvingFilter;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonElementSymbol;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonElementSymbolReference;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonKind;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonResolvingFilter;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonScope;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonSymbol;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonSymbolEMPTY;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonSymbolReference;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonWithSTInfo4Language;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonWithSTInfo4ModelLoader;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonWithSTInfo4ModelNameCalculator;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.AutomatonWithSTInfo4SymbolTableCreator;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.StateKind;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.StateResolvingFilter;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.StateSymbol;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.StateSymbolEMPTY;
import mc.feature.symboltable.automatonwithstinfo4._symboltable.StateSymbolReference;
import org.junit.Test;

public class AutomatonWithSTInfo4Test extends GeneratorIntegrationsTest {

  /**
   * This test ensures that all expected classes are generated. Otherwise, the test will not compile
   */
  @Test
  public void test() {
    AutomatonElementKind automatonElementKind;
    AutomatonElementResolvingFilter automatonElementResolvingFilter;
    AutomatonElementSymbol automatonElementSymbol;
    AutomatonElementSymbolReference automatonElementSymbolReference;
    AutomatonKind automatonKind;
    AutomatonResolvingFilter automatonResolvingFilter;
    AutomatonScope automatonScope;
    AutomatonSymbol automatonSymbol;
    AutomatonSymbolEMPTY automatonSymbolEMPTY;
    AutomatonSymbolReference automatonSymbolReference;
    AutomatonWithSTInfo4Language automatonWithSTInfo4Language;
    AutomatonWithSTInfo4ModelLoader automatonWithSTInfo4ModelLoader;
    AutomatonWithSTInfo4ModelNameCalculator automatonWithSTInfo4ModelNameCalculator;
    AutomatonWithSTInfo4SymbolTableCreator automatonWithSTInfo4SymbolTableCreator;
    StateKind stateKind;
    StateResolvingFilter stateResolvingFilter;
    StateSymbol stateSymbol = new StateSymbol("S");
    StateSymbolEMPTY stateSymbolEMPTY;
    StateSymbolReference stateSymbolReference;

    // StateSymbol is no (sub-)kind of AutomatonElementSymbol, even though the State rule implements AutomatonElement
    assertFalse(StateSymbol.KIND.isKindOf(AutomatonElementSymbol.KIND));

  }

}