net.sourceforge.czt.z.util

Class ZChar

java.lang.Object

net.sourceforge.czt.z.util.ZChar

public class ZChar
extends Object

Commonly used Z characters and helper methods for Z characters.

Author:

generated by Gnast XSL script zchar2class.xsl

Field Summary

Fields

Modifier and Type	Field and Description
static ZChar	ALL for all.
static ZChar	AMP ampersand.
static ZChar	AND logical and.
static ZChar	ARITHMOS arithmos, the set of all number-like objects.
static ZChar	AXCHAR start a Z axiomatic paragraph.
static ZChar	BIGCAP n-ary intersection.
static ZChar	BIGCUP n-ary union.
static ZChar	BIJ bijective (1-1 and onto) function.
static ZChar	CAP intersection.
static ZChar	CAT sequence concatenation.
static ZChar	CIRC functional composition.
static ZChar	COLON colon.
static ZChar	COMMA comma.
static ZChar	COMP relational composition.
static ZChar	CROSS cartesian product.
static ZChar	CUP union.
static ZChar	DELTA Greek capital letter delta.
static ZChar	DOT full stop.
static ZChar	DRES domain restriction.
static ZChar	EMPTYSET empty set.
static ZChar	ENDCHAR end a Z paragraph.
static ZChar	EQUALS equals sign.
static ZChar	EXI there exists.
static ZChar	EXTRACT domain restriction for sequences.
static ZChar	FFUN finite function.
static ZChar	FILTER range restriction for sequences.
static ZChar	FINJ finite injective function.
static ZChar	FINSET finite set.
static ZChar	FUN total function.
static ZChar	GENCHAR start a generic Z axiomatic paragraph.
static ZChar	GEQ greater-than or equal to.
static ZChar	GREATER greater-than sign.
static ZChar	IFF logical equivalence.
static ZChar	IMP logical implication.
static ZChar	INJ total injective (1-1) function.
static ZChar	INSTROKE question mark.
static ZChar	LAMBDA Greek small letter lambda.
static ZChar	LANGLE left sequence bracket.
static ZChar	LBIND left binding bracket.
static ZChar	LBRACE left curly bracket.
static ZChar	LDATA left angle bracket for use in free type definitions.
static ZChar	LEQ less-than or equal to.
static ZChar	LESS less-than sign.
static ZChar	LIMG left relational image bracket.
static ZChar	LL low line.
static ZChar	LPAREN left parenthesis.
static ZChar	LSQUARE left square bracket.
static ZChar	MAPSTO maplet, forms a pair.
static ZChar	MEM element of.
static ZChar	MINUS infix minus sign.
static ZChar	MU Greek small letter mu.
static ZChar	MULT asterisk (multiplication sign).
static ZChar	NAT the set of natural numbers (0..).
static ZChar	NDRES domain subtraction.
static ZChar	NE north east arrow.
static ZChar	NEG prefix numeric negation.
static ZChar	NEQ not equal to.
static ZChar	NLCHAR line separator.
static ZChar	NOT logical negation.
static ZChar	NOTMEM not an element of.
static ZChar	NRRES range subtraction.
static ZChar	NUM set of integers.
static ZChar	NUMBER set cardinality.
static ZChar	NW north west arrow.
static ZChar	OPLUS relational override.
static ZChar	OR logical or.
static ZChar	OUTSTROKE exclamation mark.
static ZChar	PFUN partial function.
static ZChar	PINJ partial injective (1-1) function.
static ZChar	PLUS plus sign.
static ZChar	POWER power set.
static ZChar	PRIME prime.
static ZChar	PSURJ partial surjective (onto) function.
static ZChar	RANGLE right sequence bracket.
static ZChar	RBIND right binding bracket.
static ZChar	RBRACE right curly bracket.
static ZChar	RDATA left angle bracket for use in free type definitions.
static ZChar	REL relation.
static ZChar	RIMG right relational image bracket.
static ZChar	RPAREN right parenthesis.
static ZChar	RRES range restriction.
static ZChar	RSQUARE right square bracket.
static ZChar	SCHCHAR start a Z schema definition.
static ZChar	SE south east arrow.
static ZChar	SEMICOLON semicolon.
static ZChar	SETMINUS set minus.
static ZChar	SOLIDUS solidus forward slash character.
static ZChar	SPACE space.
static ZChar	SPOT Z notation spot.
static ZChar	SUBSET subset of.
static ZChar	SUBSETEQ subset of or equal to.
static ZChar	SURJ total surjective (onto) function.
static ZChar	SW south west arrow.
static ZChar	SYMDIFF set symmetric difference.
static ZChar	THETA Greek small letter theta.
static ZChar	TILDE relational inversion.
static ZChar	TYPECOLON Z notation type colon.
static ZChar	VDASH conjecture.
static ZChar	VL vertical line.
static ZChar	XI Greek capital letter xi.
static ZChar	ZCOMP schema composition.
static ZChar	ZEDCHAR start a Z paragraph.
static ZChar	ZHIDE schema hiding.
static ZChar	ZPIPE schema piping.
static ZChar	ZPROJ schema projection.

Constructor Summary

Constructors

Modifier	Constructor and Description
	ZChar(char c)
	ZChar(char[] chars)
protected	ZChar(char high, char low)
	ZChar(int codePoint)

Method Summary

Modifier and Type	Method and Description
int	charCount()
int	codePoint()
boolean	equals(Object obj)
int	hashCode()
static boolean	isAlpha(ZChar zchar)
boolean	isAsciiChar()
static boolean	isDigit(ZChar zchar)
static boolean	isLetter(ZChar zchar)
static boolean	isStroke(ZChar zchar)
static boolean	isWordGlue(ZChar zchar)
String	toString()
static ZChar[]	toZChars(String string)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

DELTA

public static final ZChar DELTA

Greek capital letter delta.

XI

public static final ZChar XI

Greek capital letter xi.

THETA

public static final ZChar THETA

Greek small letter theta.

LAMBDA

public static final ZChar LAMBDA

Greek small letter lambda.

MU

public static final ZChar MU

Greek small letter mu.

ARITHMOS

public static final ZChar ARITHMOS

arithmos, the set of all number-like objects.

NAT

public static final ZChar NAT

the set of natural numbers (0..).

POWER

public static final ZChar POWER

power set.

PRIME

public static final ZChar PRIME

prime.

OUTSTROKE

public static final ZChar OUTSTROKE

exclamation mark.

INSTROKE

public static final ZChar INSTROKE

question mark.

NE

public static final ZChar NE

north east arrow.

SW

public static final ZChar SW

south west arrow.

SE

public static final ZChar SE

south east arrow.

NW

public static final ZChar NW

north west arrow.

LL

public static final ZChar LL

low line.

LPAREN

public static final ZChar LPAREN

left parenthesis.

RPAREN

public static final ZChar RPAREN

right parenthesis.

LSQUARE

public static final ZChar LSQUARE

left square bracket.

RSQUARE

public static final ZChar RSQUARE

right square bracket.

LBRACE

public static final ZChar LBRACE

left curly bracket.

RBRACE

public static final ZChar RBRACE

right curly bracket.

LBIND

public static final ZChar LBIND

left binding bracket.

RBIND

public static final ZChar RBIND

right binding bracket.

LDATA

public static final ZChar LDATA

left angle bracket for use in free type definitions.

RDATA

public static final ZChar RDATA

left angle bracket for use in free type definitions.

ZEDCHAR

public static final ZChar ZEDCHAR

start a Z paragraph.

AXCHAR

public static final ZChar AXCHAR

start a Z axiomatic paragraph.

SCHCHAR

public static final ZChar SCHCHAR

start a Z schema definition.

GENCHAR

public static final ZChar GENCHAR

start a generic Z axiomatic paragraph.

ENDCHAR

public static final ZChar ENDCHAR

end a Z paragraph.

NLCHAR

public static final ZChar NLCHAR

line separator.

SPACE

public static final ZChar SPACE

space.

VL

public static final ZChar VL

vertical line.

AMP

public static final ZChar AMP

ampersand.

VDASH

public static final ZChar VDASH

conjecture.

AND

public static final ZChar AND

logical and.

OR

public static final ZChar OR

logical or.

IMP

public static final ZChar IMP

logical implication.

IFF

public static final ZChar IFF

logical equivalence.

NOT

public static final ZChar NOT

logical negation.

ALL

public static final ZChar ALL

for all.

EXI

public static final ZChar EXI

there exists.

CROSS

public static final ZChar CROSS

cartesian product.

SOLIDUS

public static final ZChar SOLIDUS

solidus forward slash character.

EQUALS

public static final ZChar EQUALS

equals sign.

MEM

public static final ZChar MEM

element of.

COLON

public static final ZChar COLON

colon.

SEMICOLON

public static final ZChar SEMICOLON

semicolon.

COMMA

public static final ZChar COMMA

comma.

DOT

public static final ZChar DOT

full stop.

SPOT

public static final ZChar SPOT

Z notation spot.

ZHIDE

public static final ZChar ZHIDE

schema hiding.

ZPROJ

public static final ZChar ZPROJ

schema projection.

ZCOMP

public static final ZChar ZCOMP

schema composition.

ZPIPE

public static final ZChar ZPIPE

schema piping.

PLUS

public static final ZChar PLUS

plus sign.

TYPECOLON

public static final ZChar TYPECOLON

Z notation type colon.

REL

public static final ZChar REL

relation.

FUN

public static final ZChar FUN

total function.

NEQ

public static final ZChar NEQ

not equal to.

NOTMEM

public static final ZChar NOTMEM

not an element of.

EMPTYSET

public static final ZChar EMPTYSET

empty set.

SUBSETEQ

public static final ZChar SUBSETEQ

subset of or equal to.

SUBSET

public static final ZChar SUBSET

subset of.

CUP

public static final ZChar CUP

union.

CAP

public static final ZChar CAP

intersection.

SETMINUS

public static final ZChar SETMINUS

set minus.

SYMDIFF

public static final ZChar SYMDIFF

set symmetric difference.

BIGCUP

public static final ZChar BIGCUP

n-ary union.

BIGCAP

public static final ZChar BIGCAP

n-ary intersection.

FINSET

public static final ZChar FINSET

finite set.

MAPSTO

public static final ZChar MAPSTO

maplet, forms a pair.

COMP

public static final ZChar COMP

relational composition.

CIRC

public static final ZChar CIRC

functional composition.

DRES

public static final ZChar DRES

domain restriction.

RRES

public static final ZChar RRES

range restriction.

NDRES

public static final ZChar NDRES

domain subtraction.

NRRES

public static final ZChar NRRES

range subtraction.

TILDE

public static final ZChar TILDE

relational inversion.

LIMG

public static final ZChar LIMG

left relational image bracket.

RIMG

public static final ZChar RIMG

right relational image bracket.

OPLUS

public static final ZChar OPLUS

relational override.

PFUN

public static final ZChar PFUN

partial function.

PINJ

public static final ZChar PINJ

partial injective (1-1) function.

INJ

public static final ZChar INJ

total injective (1-1) function.

PSURJ

public static final ZChar PSURJ

partial surjective (onto) function.

SURJ

public static final ZChar SURJ

total surjective (onto) function.

BIJ

public static final ZChar BIJ

bijective (1-1 and onto) function.

FFUN

public static final ZChar FFUN

finite function.

FINJ

public static final ZChar FINJ

finite injective function.

NUM

public static final ZChar NUM

set of integers.

NEG

public static final ZChar NEG

prefix numeric negation.

MINUS

public static final ZChar MINUS

infix minus sign.

LEQ

public static final ZChar LEQ

less-than or equal to.

LESS

public static final ZChar LESS

less-than sign.

GEQ

public static final ZChar GEQ

greater-than or equal to.

GREATER

public static final ZChar GREATER

greater-than sign.

MULT

public static final ZChar MULT

asterisk (multiplication sign).

NUMBER

public static final ZChar NUMBER

set cardinality.

LANGLE

public static final ZChar LANGLE

left sequence bracket.

RANGLE

public static final ZChar RANGLE

right sequence bracket.

CAT

public static final ZChar CAT

sequence concatenation.

EXTRACT

public static final ZChar EXTRACT

domain restriction for sequences.

FILTER

public static final ZChar FILTER

range restriction for sequences.

Constructor Detail

ZChar

public ZChar(char c)

ZChar

public ZChar(int codePoint)

ZChar

protected ZChar(char high,
                char low)

ZChar

public ZChar(char[] chars)

Method Detail

codePoint

public int codePoint()

charCount

public int charCount()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toZChars

public static ZChar[] toZChars(String string)

isAsciiChar

public boolean isAsciiChar()

isAlpha

public static boolean isAlpha(ZChar zchar)

isDigit

public static boolean isDigit(ZChar zchar)

isLetter

public static boolean isLetter(ZChar zchar)

isStroke

public static boolean isStroke(ZChar zchar)

isWordGlue

public static boolean isWordGlue(ZChar zchar)