public class TypeVariablePatternList extends PatternNode
Modifier and Type | Field and Description |
---|---|
static TypeVariablePatternList |
EMPTY |
end, sourceContext, start
Constructor and Description |
---|
TypeVariablePatternList(TypeVariablePattern[] typeVars) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
accept(PatternNodeVisitor visitor,
java.lang.Object data) |
TypeVariablePattern[] |
getTypeVariablePatterns() |
boolean |
isEmpty() |
TypeVariablePattern |
lookupTypeVariable(java.lang.String name) |
static TypeVariablePatternList |
read(VersionedDataInputStream s,
ISourceContext context) |
java.lang.Object |
traverse(PatternNodeVisitor visitor,
java.lang.Object data) |
void |
write(CompressingDataOutputStream s) |
copyLocationFrom, getEnd, getFileName, getSourceContext, getSourceLocation, getStart, readLocation, setLocation, writeLocation
public static final TypeVariablePatternList EMPTY
public TypeVariablePatternList(TypeVariablePattern[] typeVars)
public TypeVariablePattern[] getTypeVariablePatterns()
public TypeVariablePattern lookupTypeVariable(java.lang.String name)
public boolean isEmpty()
public void write(CompressingDataOutputStream s) throws java.io.IOException
write
in class PatternNode
java.io.IOException
public static TypeVariablePatternList read(VersionedDataInputStream s, ISourceContext context) throws java.io.IOException
java.io.IOException
public java.lang.Object accept(PatternNodeVisitor visitor, java.lang.Object data)
accept
in class PatternNode
public java.lang.Object traverse(PatternNodeVisitor visitor, java.lang.Object data)
traverse
in class PatternNode