Package | Description |
---|---|
de.uka.ilkd.key.java.recoderext |
Modifier and Type | Method and Description |
---|---|
ClassFileDeclarationBuilder |
ClassFileDeclarationManager.getBuilder(java.lang.String className)
retrieve a specific builder from the database of builders.
|
Modifier and Type | Method and Description |
---|---|
int |
ClassFileDeclarationBuilder.compareTo(ClassFileDeclarationBuilder o)
compare to class file declaration builders.
|
Copyright © 2003-2019 The KeY-Project.