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, writeLocationpublic 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.Objectpublic boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic 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.IOExceptionpublic void write(CompressingDataOutputStream s) throws java.io.IOException
write in class PatternNodejava.io.IOExceptionpublic java.lang.Object accept(PatternNodeVisitor visitor, java.lang.Object data)
accept in class PatternNodepublic java.lang.Object traverse(PatternNodeVisitor visitor, java.lang.Object data)
traverse in class PatternNode