test_class.declarator: table
test_class.original_string: VdmSymbolTable table;
test_class.type: VdmSymbolTable
test_class.var_name: table
test_class.file: core/prettyprinting/npp/src/test/java/org/overture/core/npp/VdmSymbolTableTest.java
test_class.identifier: VdmSymbolTableTest
test_case.body: @Test
  	public void testGetNE()
  	{
  		String actual = table.getNE();
  		String expected = "<>";
  
  		assertEquals(expected, actual);
  	}
test_case.class_method_signature: VdmSymbolTableTest.testGetNE()
test_case.full_signature: @Test public void testGetNE()
test_case.identifier: testGetNE
test_case.invocations: getNE assertEquals
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testGetNE()
focal_class.declarator: instance = null
focal_class.modifier: private static
focal_class.original_string: private static VdmSymbolTable instance = null;
focal_class.type: VdmSymbolTable
focal_class.var_name: instance
focal_class.file: core/prettyprinting/npp/src/main/java/org/overture/core/npp/VdmSymbolTable.java
focal_class.identifier: VdmSymbolTable
focal_class.interfaces: implements ISymbolTable
focal_class.class_method_signature: VdmSymbolTable.VdmSymbolTable()
focal_class.full_signature: protected  VdmSymbolTable()
focal_class.identifier: VdmSymbolTable
focal_class.modifiers: protected
focal_class.parameters: ()
focal_class.signature:  VdmSymbolTable()
focal_class.class_method_signature: VdmSymbolTable.getInstance()
focal_class.full_signature: public static VdmSymbolTable getInstance()
focal_class.identifier: getInstance
focal_class.modifiers: public static
focal_class.parameters: ()
focal_class.return: VdmSymbolTable
focal_class.signature: VdmSymbolTable getInstance()
focal_class.class_method_signature: VdmSymbolTable.getTAIL()
focal_class.full_signature: @Override public String getTAIL()
focal_class.identifier: getTAIL
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getTAIL()
focal_class.class_method_signature: VdmSymbolTable.getAND()
focal_class.full_signature: @Override public String getAND()
focal_class.identifier: getAND
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getAND()
focal_class.class_method_signature: VdmSymbolTable.getOR()
focal_class.full_signature: @Override public String getOR()
focal_class.identifier: getOR
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getOR()
focal_class.class_method_signature: VdmSymbolTable.getPLUS()
focal_class.full_signature: @Override public String getPLUS()
focal_class.identifier: getPLUS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getPLUS()
focal_class.class_method_signature: VdmSymbolTable.getMINUS()
focal_class.full_signature: @Override public String getMINUS()
focal_class.identifier: getMINUS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getMINUS()
focal_class.class_method_signature: VdmSymbolTable.getDIVIDE()
focal_class.full_signature: @Override public String getDIVIDE()
focal_class.identifier: getDIVIDE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDIVIDE()
focal_class.class_method_signature: VdmSymbolTable.getTIMES()
focal_class.full_signature: @Override public String getTIMES()
focal_class.identifier: getTIMES
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getTIMES()
focal_class.class_method_signature: VdmSymbolTable.getLT()
focal_class.full_signature: @Override public String getLT()
focal_class.identifier: getLT
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getLT()
focal_class.class_method_signature: VdmSymbolTable.getLE()
focal_class.full_signature: @Override public String getLE()
focal_class.identifier: getLE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getLE()
focal_class.class_method_signature: VdmSymbolTable.getGT()
focal_class.full_signature: @Override public String getGT()
focal_class.identifier: getGT
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getGT()
focal_class.class_method_signature: VdmSymbolTable.getGE()
focal_class.full_signature: @Override public String getGE()
focal_class.identifier: getGE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getGE()
focal_class.class_method_signature: VdmSymbolTable.getNE()
focal_class.full_signature: @Override public String getNE()
focal_class.identifier: getNE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getNE()
focal_class.class_method_signature: VdmSymbolTable.getEQUALS()
focal_class.full_signature: @Override public String getEQUALS()
focal_class.identifier: getEQUALS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getEQUALS()
focal_class.class_method_signature: VdmSymbolTable.getEQUIV()
focal_class.full_signature: @Override public String getEQUIV()
focal_class.identifier: getEQUIV
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getEQUIV()
focal_class.class_method_signature: VdmSymbolTable.getIMPLIES()
focal_class.full_signature: @Override public String getIMPLIES()
focal_class.identifier: getIMPLIES
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getIMPLIES()
focal_class.class_method_signature: VdmSymbolTable.getSETDIFF()
focal_class.full_signature: @Override public String getSETDIFF()
focal_class.identifier: getSETDIFF
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getSETDIFF()
focal_class.class_method_signature: VdmSymbolTable.getPLUSPLUS()
focal_class.full_signature: @Override public String getPLUSPLUS()
focal_class.identifier: getPLUSPLUS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getPLUSPLUS()
focal_class.class_method_signature: VdmSymbolTable.getSTARSTAR()
focal_class.full_signature: @Override public String getSTARSTAR()
focal_class.identifier: getSTARSTAR
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getSTARSTAR()
focal_class.class_method_signature: VdmSymbolTable.getCONCATENATE()
focal_class.full_signature: @Override public String getCONCATENATE()
focal_class.identifier: getCONCATENATE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getCONCATENATE()
focal_class.class_method_signature: VdmSymbolTable.getMAPLET()
focal_class.full_signature: @Override public String getMAPLET()
focal_class.identifier: getMAPLET
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getMAPLET()
focal_class.class_method_signature: VdmSymbolTable.getRANGE()
focal_class.full_signature: @Override public String getRANGE()
focal_class.identifier: getRANGE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getRANGE()
focal_class.class_method_signature: VdmSymbolTable.getDOMRESTO()
focal_class.full_signature: @Override public String getDOMRESTO()
focal_class.identifier: getDOMRESTO
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDOMRESTO()
focal_class.class_method_signature: VdmSymbolTable.getDOMRESBY()
focal_class.full_signature: @Override public String getDOMRESBY()
focal_class.identifier: getDOMRESBY
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDOMRESBY()
focal_class.class_method_signature: VdmSymbolTable.getRANGERESTO()
focal_class.full_signature: @Override public String getRANGERESTO()
focal_class.identifier: getRANGERESTO
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getRANGERESTO()
focal_class.class_method_signature: VdmSymbolTable.getRANGERESBY()
focal_class.full_signature: @Override public String getRANGERESBY()
focal_class.identifier: getRANGERESBY
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getRANGERESBY()
focal_class.class_method_signature: VdmSymbolTable.getLAMBDA()
focal_class.full_signature: @Override public String getLAMBDA()
focal_class.identifier: getLAMBDA
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getLAMBDA()
focal_class.class_method_signature: VdmSymbolTable.getIOTA()
focal_class.full_signature: @Override public String getIOTA()
focal_class.identifier: getIOTA
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getIOTA()
focal_class.class_method_signature: VdmSymbolTable.getEXISTS1()
focal_class.full_signature: @Override public String getEXISTS1()
focal_class.identifier: getEXISTS1
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getEXISTS1()
focal_class.class_method_signature: VdmSymbolTable.getEXISTS()
focal_class.full_signature: @Override public String getEXISTS()
focal_class.identifier: getEXISTS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getEXISTS()
focal_class.class_method_signature: VdmSymbolTable.getPOINT()
focal_class.full_signature: @Override public String getPOINT()
focal_class.identifier: getPOINT
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getPOINT()
focal_class.class_method_signature: VdmSymbolTable.getHEAD()
focal_class.full_signature: @Override public String getHEAD()
focal_class.identifier: getHEAD
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getHEAD()
focal_class.class_method_signature: VdmSymbolTable.getFORALL()
focal_class.full_signature: @Override public String getFORALL()
focal_class.identifier: getFORALL
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getFORALL()
focal_class.class_method_signature: VdmSymbolTable.getCOMPOSITION()
focal_class.full_signature: @Override public String getCOMPOSITION()
focal_class.identifier: getCOMPOSITION
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getCOMPOSITION()
focal_class.class_method_signature: VdmSymbolTable.getINDS()
focal_class.full_signature: @Override public String getINDS()
focal_class.identifier: getINDS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getINDS()
focal_class.class_method_signature: VdmSymbolTable.getDISTCONC()
focal_class.full_signature: @Override public String getDISTCONC()
focal_class.identifier: getDISTCONC
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDISTCONC()
focal_class.class_method_signature: VdmSymbolTable.getDUNION()
focal_class.full_signature: @Override public String getDUNION()
focal_class.identifier: getDUNION
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDUNION()
focal_class.class_method_signature: VdmSymbolTable.getFLOOR()
focal_class.full_signature: @Override public String getFLOOR()
focal_class.identifier: getFLOOR
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getFLOOR()
focal_class.class_method_signature: VdmSymbolTable.getMERGE()
focal_class.full_signature: @Override public String getMERGE()
focal_class.identifier: getMERGE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getMERGE()
focal_class.class_method_signature: VdmSymbolTable.getDINTER()
focal_class.full_signature: @Override public String getDINTER()
focal_class.identifier: getDINTER
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDINTER()
focal_class.class_method_signature: VdmSymbolTable.getABSOLUTE()
focal_class.full_signature: @Override public String getABSOLUTE()
focal_class.identifier: getABSOLUTE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getABSOLUTE()
focal_class.class_method_signature: VdmSymbolTable.getELEMS()
focal_class.full_signature: @Override public String getELEMS()
focal_class.identifier: getELEMS
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getELEMS()
focal_class.class_method_signature: VdmSymbolTable.getRNG()
focal_class.full_signature: @Override public String getRNG()
focal_class.identifier: getRNG
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getRNG()
focal_class.class_method_signature: VdmSymbolTable.getPOWER()
focal_class.full_signature: @Override public String getPOWER()
focal_class.identifier: getPOWER
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getPOWER()
focal_class.class_method_signature: VdmSymbolTable.getLEN()
focal_class.full_signature: @Override public String getLEN()
focal_class.identifier: getLEN
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getLEN()
focal_class.class_method_signature: VdmSymbolTable.getDOM()
focal_class.full_signature: @Override public String getDOM()
focal_class.identifier: getDOM
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDOM()
focal_class.class_method_signature: VdmSymbolTable.getCARD()
focal_class.full_signature: @Override public String getCARD()
focal_class.identifier: getCARD
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getCARD()
focal_class.class_method_signature: VdmSymbolTable.getINVERSE()
focal_class.full_signature: @Override public String getINVERSE()
focal_class.identifier: getINVERSE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getINVERSE()
focal_class.class_method_signature: VdmSymbolTable.getINTER()
focal_class.full_signature: @Override public String getINTER()
focal_class.identifier: getINTER
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getINTER()
focal_class.class_method_signature: VdmSymbolTable.getUNION()
focal_class.full_signature: @Override public String getUNION()
focal_class.identifier: getUNION
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getUNION()
focal_class.class_method_signature: VdmSymbolTable.getMUNION()
focal_class.full_signature: @Override public String getMUNION()
focal_class.identifier: getMUNION
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getMUNION()
focal_class.class_method_signature: VdmSymbolTable.getREM()
focal_class.full_signature: @Override public String getREM()
focal_class.identifier: getREM
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getREM()
focal_class.class_method_signature: VdmSymbolTable.getMOD()
focal_class.full_signature: @Override public String getMOD()
focal_class.identifier: getMOD
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getMOD()
focal_class.class_method_signature: VdmSymbolTable.getDIV()
focal_class.full_signature: @Override public String getDIV()
focal_class.identifier: getDIV
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDIV()
focal_class.class_method_signature: VdmSymbolTable.getSUBSET()
focal_class.full_signature: @Override public String getSUBSET()
focal_class.identifier: getSUBSET
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getSUBSET()
focal_class.class_method_signature: VdmSymbolTable.getPSUBSET()
focal_class.full_signature: @Override public String getPSUBSET()
focal_class.identifier: getPSUBSET
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getPSUBSET()
focal_class.class_method_signature: VdmSymbolTable.getINSET()
focal_class.full_signature: @Override public String getINSET()
focal_class.identifier: getINSET
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getINSET()
focal_class.class_method_signature: VdmSymbolTable.getNOTINSET()
focal_class.full_signature: @Override public String getNOTINSET()
focal_class.identifier: getNOTINSET
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getNOTINSET()
focal_class.class_method_signature: VdmSymbolTable.getPRED()
focal_class.full_signature: @Override public String getPRED()
focal_class.identifier: getPRED
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getPRED()
focal_class.class_method_signature: VdmSymbolTable.getSEP()
focal_class.full_signature: @Override public String getSEP()
focal_class.identifier: getSEP
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getSEP()
focal_class.class_method_signature: VdmSymbolTable.getDEF()
focal_class.full_signature: @Override public String getDEF()
focal_class.identifier: getDEF
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getDEF()
focal_class.class_method_signature: VdmSymbolTable.getOPENQUOTE()
focal_class.full_signature: @Override public String getOPENQUOTE()
focal_class.identifier: getOPENQUOTE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getOPENQUOTE()
focal_class.class_method_signature: VdmSymbolTable.getCLOSEQUOTE()
focal_class.full_signature: @Override public String getCLOSEQUOTE()
focal_class.identifier: getCLOSEQUOTE
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getCLOSEQUOTE()
focal_class.class_method_signature: VdmSymbolTable.getCHARDELIM()
focal_class.full_signature: @Override public String getCHARDELIM()
focal_class.identifier: getCHARDELIM
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getCHARDELIM()
focal_class.class_method_signature: VdmSymbolTable.getSTRINGDELIM()
focal_class.full_signature: @Override public String getSTRINGDELIM()
focal_class.identifier: getSTRINGDELIM
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getSTRINGDELIM()
focal_method.body: @Override
  	public String getNE()
  	{
  		return "<>";
  	}
focal_method.class_method_signature: VdmSymbolTable.getNE()
focal_method.full_signature: @Override public String getNE()
focal_method.identifier: getNE
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: String
focal_method.signature: String getNE()