VdmSymbolTable implements ISymbolTable { @Override public String getPOINT() { return "."; } protected  VdmSymbolTable(); static VdmSymbolTable getInstance(); @Override String getTAIL(); @Override String getAND(); @Override String getOR(); @Override String getPLUS(); @Override String getMINUS(); @Override String getDIVIDE(); @Override String getTIMES(); @Override String getLT(); @Override String getLE(); @Override String getGT(); @Override String getGE(); @Override String getNE(); @Override String getEQUALS(); @Override String getEQUIV(); @Override String getIMPLIES(); @Override String getSETDIFF(); @Override String getPLUSPLUS(); @Override String getSTARSTAR(); @Override String getCONCATENATE(); @Override String getMAPLET(); @Override String getRANGE(); @Override String getDOMRESTO(); @Override String getDOMRESBY(); @Override String getRANGERESTO(); @Override String getRANGERESBY(); @Override String getLAMBDA(); @Override String getIOTA(); @Override String getEXISTS1(); @Override String getEXISTS(); @Override String getPOINT(); @Override String getHEAD(); @Override String getFORALL(); @Override String getCOMPOSITION(); @Override String getINDS(); @Override String getDISTCONC(); @Override String getDUNION(); @Override String getFLOOR(); @Override String getMERGE(); @Override String getDINTER(); @Override String getABSOLUTE(); @Override String getELEMS(); @Override String getRNG(); @Override String getPOWER(); @Override String getLEN(); @Override String getDOM(); @Override String getCARD(); @Override String getINVERSE(); @Override String getINTER(); @Override String getUNION(); @Override String getMUNION(); @Override String getREM(); @Override String getMOD(); @Override String getDIV(); @Override String getSUBSET(); @Override String getPSUBSET(); @Override String getINSET(); @Override String getNOTINSET(); @Override String getPRED(); @Override String getSEP(); @Override String getDEF(); @Override String getOPENQUOTE(); @Override String getCLOSEQUOTE(); @Override String getCHARDELIM(); @Override String getSTRINGDELIM();  }
@Test public void testGetPOINT() { String actual = table.getPOINT(); String expected = "."; assertEquals(expected, actual); }