public class SymbolicKeywordSpecification extends KeywordSpecification
Constructor and Description |
---|
SymbolicKeywordSpecification(Alphabet alphabet,
String keyword) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Alphabet |
getAlphabet()
Returns the Alphabet that defines which symbols are allowed for this
keyword.
|
int |
hashCode() |
boolean |
validate(Value value)
This applies the KeywordSpecification validation and additionally checks
whether the given value is part of the Alphabet.
|
getKeyword, getType, toString
public Alphabet getAlphabet()
public boolean validate(Value value)
validate
in class KeywordSpecification
value
- a value.public int hashCode()
hashCode
in class KeywordSpecification
public boolean equals(Object obj)
equals
in class KeywordSpecification
Copyright (C) 2016-2018 Benjamin Paaßen, AG Theoretical Computer Science, Centre of Excellence Cognitive Interaction Technology (CITEC), University of Bielefeld, licensed under the AGPL v. 3: http://openresearch.cit-ec.de/projects/tcs . This documentation is licensed under the conditions of CC-BY-SA 4.0: https://creativecommons.org/licenses/by-sa/4.0/