@Test public void testGetCoCoFullTypeName() { assertEquals(COCO_AUT_PACKAGE + "AutomatonASTAutomatonCoCo", cocoService.getCoCoFullTypeName(astAutomaton)); assertDeepEquals(COCO_AUT_PACKAGE + "AutomatonASTAutomatonCoCo", cocoService.getCoCoType(astAutomaton)); }
public String getCoCoFullTypeName(ASTCDType type) { return String.join(".", getPackage(), getCoCoSimpleTypeName(type)); }
CoCoService extends AbstractService<CoCoService> { public String getCoCoFullTypeName(ASTCDType type) { return String.join(".", getPackage(), getCoCoSimpleTypeName(type)); } }
CoCoService extends AbstractService<CoCoService> { public String getCoCoFullTypeName(ASTCDType type) { return String.join(".", getPackage(), getCoCoSimpleTypeName(type)); } CoCoService(ASTCDCompilationUnit compilationUnit);  CoCoService(CDDefinitionSymbol cdSymbol); }
CoCoService extends AbstractService<CoCoService> { public String getCoCoFullTypeName(ASTCDType type) { return String.join(".", getPackage(), getCoCoSimpleTypeName(type)); } 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 getCoCoFullTypeName(ASTCDType type) { return String.join(".", getPackage(), getCoCoSimpleTypeName(type)); } 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();  }