public class TestComment
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected static CrossReferenceServiceConfiguration |
sc |
Constructor and Description |
---|
TestComment() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
static CompilationUnit |
registerCU(java.lang.String compilationUnit) |
static void |
testComments() |
protected static CrossReferenceServiceConfiguration sc
public static CompilationUnit registerCU(java.lang.String compilationUnit) throws ParserException
ParserException
public static void testComments() throws ParserException
ParserException
public static void main(java.lang.String[] args) throws ParserException
ParserException
Copyright © 2003-2019 The KeY-Project.