circusRefine.UtilZString
Class ZChar

java.lang.Object
  circusRefine.UtilZString.ZChar

Direct Known Subclasses:

CircusChar

public class ZChar
extends java.lang.Object

Commonly used Z characters and helper methods for Z characters.

Author:

generated by Gnast XSL script zchar2class.xsl

Field Summary

static ZChar	ALL for all.
static ZChar	ALPHA
static ZChar	AMP ampersand.
static ZChar	AND logical and.
static ZChar	ARITHMOS double-struck capital A (currently just a strange A).
static ZChar	AXCHAR box drawings light down.
static ZChar	BIGCAP n-ary intersection.
static ZChar	BIGCUP n-ary union.
static ZChar	BIJ rightwards two-headed arrow with tail.
static ZChar	CAP intersection.
static ZChar	CAT character tie.
static ZChar	CIRC ring operator.
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 white left-pointing triangle.
static ZChar	EMPTYSET empty set.
static ZChar	ENDCHAR paragraph separator.
static ZChar	EQUALS equals sign.
static ZChar	EXI there exists.
static ZChar	EXTRACT upwards harpoon with barb leftwards.
static ZChar	FFUN rightwards arrow with double vertical stroke.
static ZChar	FILTER upwards harpoon with barb rightwards.
static ZChar	FINJ rightwards arrow with tail with double vertical stroke.
static ZChar	FINSET mathmematical double-struck capital F (currently just a strange F).
static ZChar	FUN rightwards arrow.
static ZChar	GENCHAR box drawings double horizontal.
static ZChar	GEQ greater-than or equal to.
static ZChar	GREATER greater-than sign.
static ZChar	IFF left right double arrow.
static ZChar	IMP rightwards double arrow.
static ZChar	INJ rightwards arrow with tail.
static ZChar	INSTROKE question mark.
static ZChar	LAMBDA Greek small letter lambda.
static ZChar	LANGLE mathmatical left angle bracket.
static ZChar	LBIND left binding bracket.
static ZChar	LBRACE left curly bracket.
static ZChar	LDATA mathmatical left double angle bracket.
static ZChar	LEQ less-than or equal to.
static ZChar	LESS less-than sign.
static ZChar	LIMG left image bracket.
static ZChar	LL low line.
static ZChar	LPAREN left parenthesis.
static ZChar	LREFINEMENT symbol of refinement
static ZChar	LSQUARE left square bracket.
static ZChar	MAPSTO rightwards arrow from bar.
static ZChar	MEM element of.
static ZChar	MINUS minus sign.
static ZChar	MU Greek small letter mu.
static ZChar	MULT asterisk (multiplication sign).
static ZChar	NAT double-struck capital N.
static ZChar	NDRES domain antirestriction.
static ZChar	NE north east arrow.
static ZChar	NEG hyphen-minus.
static ZChar	NEQ not equal to.
static ZChar	NLCHAR line seperator.
static ZChar	NOT not sign.
static ZChar	NOTMEM not an element of.
static ZChar	NRRES range antirestriction.
static ZChar	NUM double-struck capital Z.
static ZChar	NUMBER number sign.
static ZChar	NW north west arrow.
static ZChar	OPLUS circled plus.
static ZChar	OR logical or.
static ZChar	OUTSTROKE exclamation mark.
static ZChar	PFUN rightwards arrow with vertical stroke.
static ZChar	PINJ rightwards arrow with tail with vertical stroke.
static ZChar	PLUS plus sign.
static ZChar	POWER double-struck capital P.
static ZChar	PRIME prime.
static ZChar	PSURJ rightwards two-headed arrow with vertical stroke.
static ZChar	RANGLE mathmatical right angle bracket.
static ZChar	RBIND right binding bracket.
static ZChar	RBRACE right curly bracket.
static ZChar	RDATA mathmatical right double angle bracket.
static ZChar	REL left right arrow.
static ZChar	RIMG right image bracket.
static ZChar	RPAREN right parenthesis.
static ZChar	RREFINEMENT symbol of refinement
static ZChar	RRES white right-pointing triangle.
static ZChar	RSQUARE right square bracket.
static ZChar	SCHCHAR box drawings light down and right.
static ZChar	SCHHIFEN
static ZChar	SE south east arrow.
static ZChar	SEMICOLON semicolon.
static ZChar	SETMINUS reverse solidus.
static ZChar	SOLIDUS solidus.
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	SUCC
static ZChar	SURJ rightwards two-headed arrow.
static ZChar	SW south west arrow.
static ZChar	SYMDIFF circled minus.
static ZChar	THETA Greek small letter theta.
static ZChar	TILDE tilde operator.
static ZChar	TYPECOLON Z notation type colon.
static ZChar	VDASH right tack.
static ZChar	VL vertical line.
static ZChar	XI Greek capital letter xi.
static ZChar	ZCOMP schema composition.
static ZChar	ZEDCHAR box drawings light horizontal.
static ZChar	ZEDLDOWN
static ZChar	ZEDRDOWN
static ZChar	ZEDRUP
static ZChar	ZHIDE big reverse solidus.
static ZChar	ZPIPE schema piping.
static ZChar	ZPROJ schema projection.

Constructor Summary

ZChar(char c)

ZChar(char[] chars)

ZChar(int codePoint)

Method Summary

int	charCount()
int	codePoint()
boolean	equals(java.lang.Object obj)
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)
java.lang.String	toString()
static ZChar[]	toZChars(java.lang.String string)

Methods inherited from class java.lang.Object

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

Field Detail

DELTA

public static ZChar DELTA

Greek capital letter delta.

XI

public static ZChar XI

Greek capital letter xi.

THETA

public static ZChar THETA

Greek small letter theta.

LAMBDA

public static ZChar LAMBDA

Greek small letter lambda.

MU

public static ZChar MU

Greek small letter mu.

ARITHMOS

public static ZChar ARITHMOS

double-struck capital A (currently just a strange A).

NAT

public static ZChar NAT

double-struck capital N.

POWER

public static ZChar POWER

double-struck capital P.

PRIME

public static ZChar PRIME

prime.

OUTSTROKE

public static ZChar OUTSTROKE

exclamation mark.

INSTROKE

public static ZChar INSTROKE

question mark.

NE

public static ZChar NE

north east arrow.

SW

public static ZChar SW

south west arrow.

SE

public static ZChar SE

south east arrow.

NW

public static ZChar NW

north west arrow.

LL

public static ZChar LL

low line.

LPAREN

public static ZChar LPAREN

left parenthesis.

RPAREN

public static ZChar RPAREN

right parenthesis.

LSQUARE

public static ZChar LSQUARE

left square bracket.

RSQUARE

public static ZChar RSQUARE

right square bracket.

LBRACE

public static ZChar LBRACE

left curly bracket.

RBRACE

public static ZChar RBRACE

right curly bracket.

LBIND

public static ZChar LBIND

left binding bracket.

RBIND

public static ZChar RBIND

right binding bracket.

LDATA

public static ZChar LDATA

mathmatical left double angle bracket.

RDATA

public static ZChar RDATA

mathmatical right double angle bracket.

ZEDCHAR

public static ZChar ZEDCHAR

box drawings light horizontal.

AXCHAR

public static ZChar AXCHAR

box drawings light down.

SCHCHAR

public static ZChar SCHCHAR

box drawings light down and right.

GENCHAR

public static ZChar GENCHAR

box drawings double horizontal.

ENDCHAR

public static ZChar ENDCHAR

paragraph separator.

NLCHAR

public static ZChar NLCHAR

line seperator.

SPACE

public static ZChar SPACE

space.

VL

public static ZChar VL

vertical line.

AMP

public static ZChar AMP

ampersand.

VDASH

public static ZChar VDASH

right tack.

AND

public static ZChar AND

logical and.

OR

public static ZChar OR

logical or.

IMP

public static ZChar IMP

rightwards double arrow.

IFF

public static ZChar IFF

left right double arrow.

NOT

public static ZChar NOT

not sign.

ALL

public static ZChar ALL

for all.

EXI

public static ZChar EXI

there exists.

CROSS

public static ZChar CROSS

cartesian product.

SOLIDUS

public static ZChar SOLIDUS

solidus.

EQUALS

public static ZChar EQUALS

equals sign.

MEM

public static ZChar MEM

element of.

COLON

public static ZChar COLON

colon.

SEMICOLON

public static ZChar SEMICOLON

semicolon.

COMMA

public static ZChar COMMA

comma.

DOT

public static ZChar DOT

full stop.

SPOT

public static ZChar SPOT

Z notation spot.

ZHIDE

public static ZChar ZHIDE

big reverse solidus.

ZPROJ

public static ZChar ZPROJ

schema projection.

ZCOMP

public static ZChar ZCOMP

schema composition.

ZPIPE

public static ZChar ZPIPE

schema piping.

PLUS

public static ZChar PLUS

plus sign.

TYPECOLON

public static ZChar TYPECOLON

Z notation type colon.

REL

public static ZChar REL

left right arrow.

FUN

public static ZChar FUN

rightwards arrow.

NEQ

public static ZChar NEQ

not equal to.

NOTMEM

public static ZChar NOTMEM

not an element of.

EMPTYSET

public static ZChar EMPTYSET

empty set.

SUBSETEQ

public static ZChar SUBSETEQ

subset of or equal to.

SUBSET

public static ZChar SUBSET

subset of.

CUP

public static ZChar CUP

union.

CAP

public static ZChar CAP

intersection.

SETMINUS

public static ZChar SETMINUS

reverse solidus.

SYMDIFF

public static ZChar SYMDIFF

circled minus.

BIGCUP

public static ZChar BIGCUP

n-ary union.

BIGCAP

public static ZChar BIGCAP

n-ary intersection.

FINSET

public static ZChar FINSET

mathmematical double-struck capital F (currently just a strange F).

MAPSTO

public static ZChar MAPSTO

rightwards arrow from bar.

COMP

public static ZChar COMP

relational composition.

CIRC

public static ZChar CIRC

ring operator.

DRES

public static ZChar DRES

white left-pointing triangle.

RRES

public static ZChar RRES

white right-pointing triangle.

NDRES

public static ZChar NDRES

domain antirestriction.

NRRES

public static ZChar NRRES

range antirestriction.

TILDE

public static ZChar TILDE

tilde operator.

LIMG

public static ZChar LIMG

left image bracket.

RIMG

public static ZChar RIMG

right image bracket.

OPLUS

public static ZChar OPLUS

circled plus.

PFUN

public static ZChar PFUN

rightwards arrow with vertical stroke.

PINJ

public static ZChar PINJ

rightwards arrow with tail with vertical stroke.

INJ

public static ZChar INJ

rightwards arrow with tail.

PSURJ

public static ZChar PSURJ

rightwards two-headed arrow with vertical stroke.

SURJ

public static ZChar SURJ

rightwards two-headed arrow.

BIJ

public static ZChar BIJ

rightwards two-headed arrow with tail.

FFUN

public static ZChar FFUN

rightwards arrow with double vertical stroke.

FINJ

public static ZChar FINJ

rightwards arrow with tail with double vertical stroke.

NUM

public static ZChar NUM

double-struck capital Z.

NEG

public static ZChar NEG

hyphen-minus.

MINUS

public static ZChar MINUS

minus sign.

LEQ

public static ZChar LEQ

less-than or equal to.

LESS

public static ZChar LESS

less-than sign.

GEQ

public static ZChar GEQ

greater-than or equal to.

GREATER

public static ZChar GREATER

greater-than sign.

MULT

public static ZChar MULT

asterisk (multiplication sign).

NUMBER

public static ZChar NUMBER

number sign.

LANGLE

public static ZChar LANGLE

mathmatical left angle bracket.

RANGLE

public static ZChar RANGLE

mathmatical right angle bracket.

CAT

public static ZChar CAT

character tie.

EXTRACT

public static ZChar EXTRACT

upwards harpoon with barb leftwards.

FILTER

public static ZChar FILTER

upwards harpoon with barb rightwards.

LREFINEMENT

public static ZChar LREFINEMENT

symbol of refinement

RREFINEMENT

public static ZChar RREFINEMENT

symbol of refinement

SCHHIFEN

public static ZChar SCHHIFEN

ZEDLDOWN

public static ZChar ZEDLDOWN

ZEDRDOWN

public static ZChar ZEDRDOWN

ZEDRUP

public static ZChar ZEDRUP

SUCC

public static ZChar SUCC

ALPHA

public static ZChar ALPHA

Constructor Detail

ZChar

public ZChar(char c)

ZChar

public ZChar(int codePoint)

ZChar

public ZChar(char[] chars)

Method Detail

codePoint

public int codePoint()

charCount

public int charCount()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toZChars

public static ZChar[] toZChars(java.lang.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)