|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ElemFactory<C extends Element<C>>
Element factory interface. Defines embedding of integers, parsing and random element construction.
Method Summary | |
---|---|
C |
copy(C c)
Create a copy of Element c. |
C |
fromInteger(java.math.BigInteger a)
Get the Element for a. |
C |
fromInteger(long a)
Get the Element for a. |
java.util.List<C> |
generators()
Get a list of the generating elements. |
boolean |
isFinite()
Is this structure finite or infinite. |
C |
parse(java.io.Reader r)
Parse from Reader. |
C |
parse(java.lang.String s)
Parse from String. |
C |
random(int n)
Generate a random Element with size less equal to n. |
C |
random(int n,
java.util.Random random)
Generate a random Element with size less equal to n. |
java.lang.String |
toScript()
Get a scripting compatible string representation. |
Method Detail |
---|
java.util.List<C> generators()
boolean isFinite()
C fromInteger(long a)
a
- long
C fromInteger(java.math.BigInteger a)
a
- java.math.BigInteger.
C random(int n)
n
-
C random(int n, java.util.Random random)
n
- random
- is a source for random bits.
C copy(C c)
c
-
C parse(java.lang.String s)
s
- String.
C parse(java.io.Reader r)
r
- Reader.
java.lang.String toScript()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |