User Tools
magik-demo:developer:class:core:atom
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:atom [2013/07/19 11:43] alex [replaceTerm] |
magik-demo:developer:class:core:atom [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| Class for the definition an Atom. Atom managing all the functions for atoms.\\ | Class for the definition an Atom. Atom managing all the functions for atoms.\\ | ||
| + | |||
| + | {{ :magik-demo:developer:schema2.png?nolink&600 |}} | ||
| + | |||
| ===== Class Attributes ===== | ===== Class Attributes ===== | ||
| Line 14: | Line 17: | ||
| </code> | </code> | ||
| - | ===== Class Constructor ===== | + | ===== Class Constructors ===== |
| ==== Atom ==== | ==== Atom ==== | ||
| Line 252: | Line 255: | ||
| ---- | ---- | ||
| + | ==== clone ==== | ||
| + | <code java> | ||
| + | @Override | ||
| + | public Object clone () | ||
| + | </code> | ||
| + | |||
| + | **Returns:** | ||
| + | * cloned object (Atom type) | ||
| + | |||
| + | |||
| + | ---- | ||
| + | |||
| + | ==== equals ==== | ||
| + | <code java> | ||
| + | @Override | ||
| + | public boolean equals (Object o) | ||
| + | </code> | ||
| + | |||
| + | Implementation for checking the equality for Atom | ||
| + | |||
| + | **Returns:** | ||
| + | * //true// if equal, //false// otherwise | ||
| + | |||
| + | |||
| + | ---- | ||
| + | |||
| + | ==== toString ==== | ||
| + | <code java> | ||
| + | @Override | ||
| + | public String toString () | ||
| + | </code> | ||
| + | |||
| + | Implementation for converting in String format Atom. | ||
| + | |||
| + | **Returns:** | ||
| + | * String version of the atom | ||
| + | |||
| + | ---- | ||
| + | |||
| ==== getters and setters methods ==== | ==== getters and setters methods ==== | ||
| <code java> | <code java> | ||
| Line 257: | Line 299: | ||
| public void setAtomId(long atomId) | public void setAtomId(long atomId) | ||
| - | public String getAtomName() | + | public java.lang.String getAtomName() |
| - | public void setAtomName(String atomName) | + | public void setAtomName(java.lang.StringString atomName) |
| - | public ArrayList<Term> getTerms() | + | public java.util.StringArrayList<Term> getTerms() |
| - | public void setTerms(ArrayList<Term> terms) | + | public void setTerms(java.util.ArrayList<Term> terms) |
| </code> | </code> | ||
| + | |||
| + | [[magik-demo:developer:class:core:atom|Back to Top]] | [[magik-demo:start|Back to Home Page]] | ||
magik-demo/developer/class/core/atom.1374227037.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
