CaseLabelTree
Tree
Tree.Kind
PatternTree
getPattern()
accept, getKind
Scripting on this page tracks web page traffic, but does not change the content in any way.