Alle implementierten Schnittstellen:
TypeConstants, TypeIds

public class RecordPattern extends TypePattern