This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
magik-demo:developer:class:core:term [2013/07/19 13:30] alex [clone] |
magik-demo:developer:class:core:term [2017/07/06 15:24] (current) |
||
---|---|---|---|
Line 113: | Line 113: | ||
</code> | </code> | ||
- | Implementation for checking the equality for Atom | + | Implementation for checking the equality for Term |
**Returns:** | **Returns:** | ||
Line 127: | Line 127: | ||
</code> | </code> | ||
- | Implementation for converting in String format Atom. | + | Implementation for converting in String format Term.\\ |
+ | This because it has to be respect the variable or constant format. | ||
**Returns:** | **Returns:** | ||
- | * String version of the atom | + | * String version of the Term |
---- | ---- | ||
==== getters and setters methods ==== | ==== getters and setters methods ==== | ||
+ | <code java> | ||
+ | public java.lang.getTerm() | ||
+ | public void setTerm(java.lang.String term) | ||
+ | </code> | ||
+ | |||
+ | [[magik-demo:developer:class:core:term|Back to Top]] | [[magik-demo:start|Back to Home Page]] |