An alternative constructor that passes in the synthetic classs symbol that backs the refined type.
An alternative constructor that passes in the synthetic classs symbol that backs the refined type. (Normally, a fresh class symbol is created automatically).
Returns string formatted according to given format
string.
Returns string formatted according to given format
string.
Format strings are as for String.format
(@see java.lang.String.format).
An extractor class to create and pattern match with syntax
RefinedType(parents, decls)
Here,parents
is the list of parent types of the class, anddecls
is the scope containing all declarations in the class.