public class PatternMatch extends Object
Modifier and Type | Field and Description |
---|---|
protected Pattern |
pattern |
protected Map<String,Object> |
roleBindings |
Constructor and Description |
---|
PatternMatch(Pattern pattern) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
Pattern |
getPattern() |
Object |
getRoleBinding(String name) |
Map<String,Object> |
getRoleBindings() |
int |
hashCode() |
void |
putRoleBinding(Variable variable) |
String |
toString() |
Copyright © 2020. All rights reserved.