public class ThrowsPattern extends PatternNode
Modifier and Type | Field and Description |
---|---|
static ThrowsPattern |
ANY |
end, sourceContext, start
Constructor and Description |
---|
ThrowsPattern(TypePatternList required,
TypePatternList forbidden) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
accept(PatternNodeVisitor visitor,
java.lang.Object data) |
boolean |
equals(java.lang.Object other) |
TypePatternList |
getForbidden() |
TypePatternList |
getRequired() |
int |
hashCode() |
boolean |
matches(UnresolvedType[] tys,
World world) |
ThrowsPattern |
parameterizeWith(java.util.Map<java.lang.String,UnresolvedType> typeVariableMap,
World w) |
static ThrowsPattern |
read(VersionedDataInputStream s,
ISourceContext context) |
ThrowsPattern |
resolveBindings(IScope scope,
Bindings bindings) |
java.lang.String |
toString() |
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 ThrowsPattern ANY
public ThrowsPattern(TypePatternList required, TypePatternList forbidden)
public TypePatternList getRequired()
public TypePatternList getForbidden()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public ThrowsPattern resolveBindings(IScope scope, Bindings bindings)
public ThrowsPattern parameterizeWith(java.util.Map<java.lang.String,UnresolvedType> typeVariableMap, World w)
public boolean matches(UnresolvedType[] tys, World world)
public static ThrowsPattern read(VersionedDataInputStream s, ISourceContext context) throws java.io.IOException
java.io.IOException
public void write(CompressingDataOutputStream s) throws java.io.IOException
write
in class PatternNode
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