CoCoService extends AbstractService<CoCoService> { public String getCoCoSimpleTypeName(ASTCDType type) { return getCDName() + type.getName() + CoCoConstants.COCO_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();  }
@Test public void testGetCoCoSimpleTypeName() { assertEquals("AutomatonASTAutomatonCoCo", cocoService.getCoCoSimpleTypeName(astAutomaton)); assertEquals("AutomatonASTAutomatonCoCo", cocoService.getCoCoSimpleTypeName(astAutomaton.getName())); }