root
API
Generated with
root/org.encalmo.utils/Glob/CharacterClassCheck

CharacterClassCheck

org.encalmo.utils.Glob.CharacterClassCheck
final case class CharacterClassCheck(characters: String) extends CharacterCheck

Checks if the character is of any of the provided characters.

The string cannot be empty; therefore ']' can be allowed, provided that it is the first character. (Thus, "][!" matches the three characters '[', ']' and '!'.)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def check(c: Char): Boolean

Check if given character can be accepted.

Check if given character can be accepted.

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with