-
Notifications
You must be signed in to change notification settings - Fork 102
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore(docs): updated the docs for Delete Edit and Test Icons #305
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please rebase to remove merge commits.
Also, needs investigation by @accordproject/maintainers-ui.
Signed-off-by: Cronus1007 <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you rebase? I had updated some of this in #324
I'm not sure I understand the Overview section:
The Contract Editor tool gives you the ability to examine and edit class contracts in a context that is isolated from the full class text. In other words, when you use the Contract Editor tool, you see and edit the contracts without having to work around other elements of the software text such as implementation.For routines, you can edit pre- and postconditions, and for classes, you can edit class invariants. The tool provides views of inherited contracts as well as immediate ones.
What are these?
- Class contract
- Class text
- Class invariants
- Implementation (an element of the software text?)
- Inherited contract
- Immediate contract
Signed-off-by: Cronus1007 <[email protected]>
Signed-off-by: Cronus1007 <[email protected]>
@irmerk I have resolved merge conflicts plus changed a little bit of overview as well.This text has been completely modified since here I gave an overview of Class Contract which was wrong.Thanks for pointing it out. |
Closing because I think the |
@irmerk So any updates about the issue #271.This one can also be closed since you added the required code block which got erased to resolve the merge conflicts. |
Closes #271
Changes
Related Issues
Author Checklist
--signoff
option of git commit.master
fromfork:branchname