|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcodesimian.Types
public class Types
Use TYPES with CS.PType(int) to specify the types of the parameters of that CS.
For example, the type of anyWindow.P(1) requires that P(1) can be converted to a java.awt.Component.
Types can be used for evolution by repeatedly constricting what the type allows,
causing objects to fit together in increasingly specific (but free to evolve) ways.
The new CodeSimian syntax will include { and } to specify types.
Example: +(2 -(5 2){someType#st st} 4){st st st}
Nested Class Summary | |
---|---|
static class |
Types.FALSE
my params are illusions. |
static class |
Types.TRUE
my params are illusions. |
Constructor Summary | |
---|---|
Types()
|
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Types()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |