public interface JRecord extends JClass, JElement.WithParameters
JElement.WithParameters, JElement.WithTypeParameters
getChildren, getFullyQualifiedName
getName, getSourceLine
getTypeParameters
getParameters