User Tools
Writing /home/academic/ogsavkovic/public_html/wiki/data/cache/f/f602d4ff6b15482ef0a4c6137f8f8a94.metadata failed
magik-demo:developer:class:core:term
Differences
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 [isConstant] |
magik-demo:developer:class:core:term [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 102: | Line 102: | ||
| **Returns:** | **Returns:** | ||
| - | * cloned object (Atom type) | + | * cloned object (Term type) |
| 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]] | ||
magik-demo/developer/class/core/term.1374233425.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
