Package org.projog.core.predicate.builtin.classify

Class CharType

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.classify.CharType

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class CharType
extends AbstractPredicateFactory

char_type(X,Y) - classifies characters.

Succeeds if the character represented by X is a member of the character type represented by Y. Supported character types are:

• digit
• upper - upper case letter
• lower - lower case letter
• alpha - letter (upper or lower)
• alnum - letter (upper or lower) or digit
• white - whitespace

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private class	CharType.CharTypePredicate
private static class	CharType.State
private static class	CharType.Type

Field Summary

Fields

Modifier and Type	Field	Description
private static Atom[]	ALL_CHARACTERS
private static CharType.Type[]	CHARACTER_TYPES_ARRAY
private static java.util.Map<PredicateKey,CharType.Type>	CHARACTER_TYPES_MAP
private static CharType.Type[]	EMPTY_TYPES_ARRAY

Constructor Summary

Constructors

Constructor	Description
CharType()

Method Summary

Modifier and Type	Method	Description
private static void	addType(java.lang.String id, java.util.Set<java.lang.String> charIdxs)
private static void	addType(java.lang.String id, java.util.Set<java.lang.String>... charIdxs)
private static java.lang.String	charToString(int c)
private static int[]	createRange(int from, int to)
private static java.util.Set<java.lang.String>	createSetFromRange(int from, int to)
protected Predicate	getPredicate(Term character, Term type)
private static java.util.Set<java.lang.String>	intsToStrings(int... ints)

Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Field Detail

EMPTY_TYPES_ARRAY

private static final CharType.Type[] EMPTY_TYPES_ARRAY

ALL_CHARACTERS

private static final Atom[] ALL_CHARACTERS

CHARACTER_TYPES_MAP

private static final java.util.Map<PredicateKey,CharType.Type> CHARACTER_TYPES_MAP

CHARACTER_TYPES_ARRAY

private static final CharType.Type[] CHARACTER_TYPES_ARRAY

Constructor Detail

CharType

public CharType()

Method Detail

charToString

private static java.lang.String charToString(int c)

See Also:

GetChar.toString(int)

addType

@SafeVarargs
private static void addType(java.lang.String id,
                            java.util.Set<java.lang.String>... charIdxs)

addType

private static void addType(java.lang.String id,
                            java.util.Set<java.lang.String> charIdxs)

createSetFromRange

private static java.util.Set<java.lang.String> createSetFromRange(int from,
                                                                  int to)

createRange

private static int[] createRange(int from,
                                 int to)

intsToStrings

private static java.util.Set<java.lang.String> intsToStrings(int... ints)

getPredicate

protected Predicate getPredicate(Term character,
                                 Term type)

Overrides:

getPredicate in class AbstractPredicateFactory