@Test public void testGetASTBaseInterfaceSimpleName() { assertEquals("AutomatonCoCoChecker", cocoService.getCheckerSimpleTypeName()); }
public String getCheckerSimpleTypeName() { return getCDName() + CoCoConstants.COCO_CHECKER_SUFFIX; }
CoCoService extends AbstractService<CoCoService> { public String getCheckerSimpleTypeName() { return getCDName() + CoCoConstants.COCO_CHECKER_SUFFIX; } }
CoCoService extends AbstractService<CoCoService> { public String getCheckerSimpleTypeName() { return getCDName() + CoCoConstants.COCO_CHECKER_SUFFIX; } CoCoService(ASTCDCompilationUnit compilationUnit);  CoCoService(CDDefinitionSymbol cdSymbol); }
CoCoService extends AbstractService<CoCoService> { public String getCheckerSimpleTypeName() { return getCDName() + CoCoConstants.COCO_CHECKER_SUFFIX; } CoCoService(ASTCDCompilationUnit compilationUnit);  CoCoService(CDDefinitionSymbol cdSymbol); @Override String getSubPackage(); static CoCoService createCoCoService(CDDefinitionSymbol cdSymbol); String getCoCoSimpleTypeName(ASTCDType type); String getCoCoSimpleTypeName(String type); String getCoCoFullTypeName(ASTCDType type); ASTMCType getCoCoType(ASTCDType type); String getCheckerSimpleTypeName(); String getCheckerFullTypeName(); ASTMCType getCheckerType(); }
CoCoService extends AbstractService<CoCoService> { public String getCheckerSimpleTypeName() { return getCDName() + CoCoConstants.COCO_CHECKER_SUFFIX; } CoCoService(ASTCDCompilationUnit compilationUnit);  CoCoService(CDDefinitionSymbol cdSymbol); @Override String getSubPackage(); static CoCoService createCoCoService(CDDefinitionSymbol cdSymbol); String getCoCoSimpleTypeName(ASTCDType type); String getCoCoSimpleTypeName(String type); String getCoCoFullTypeName(ASTCDType type); ASTMCType getCoCoType(ASTCDType type); String getCheckerSimpleTypeName(); String getCheckerFullTypeName(); ASTMCType getCheckerType();  }