Searched refs:NamedTypeClassName (Results 1 – 1 of 1) sorted by relevance
18 static const char NamedTypeClassName[] = "NamedType"; variable152 NamedTypeClass = Records.getClass(NamedTypeClassName); in index()