Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Rename JMLProgram to JMLAnnotatedClass #27

Closed
nmaguirre opened this issue Sep 26, 2014 · 1 comment
Closed

Rename JMLProgram to JMLAnnotatedClass #27

nmaguirre opened this issue Sep 26, 2014 · 1 comment
Assignees
@saiema
Labels
basic functionality
Milestone
Basic Functionality

Comments

@nmaguirre
Copy link
Collaborator

JMLProgram actually represents a JML annotated class. Rename JMLProgram to JMLAnnotatedClass. Make sure all class names in the project, comments, etc., are appropriately updated.
@nmaguirre nmaguirre added this to the Basic Functionality milestone Sep 26, 2014
@nmaguirre nmaguirre changed the title Rename JMLProgram to JMLClass Rename JMLProgram to JMLAnnotatedClass Sep 26, 2014
saiema added a commit that referenced this issue Sep 26, 2014
@saiema
- Modified, RepairCLI, improved program options
33f2b00 
	-	added long arg name for each option
	-	added help option
	-	added dependencies option (the arguments are not yet used)

- fixed #29
	-	BasicProgramRepairer: Comments on attributes are now javadoc

- fixed #27
	-	Renamed JMLProgram to JMLAnnotatedClass
@saiema
Copy link
Collaborator

saiema commented Sep 26, 2014

Fixed in 33f2b00

@saiema saiema closed this as completed Sep 26, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@saiema saiema

Labels
basic functionality
Projects
None yet
Milestone
Basic Functionality
Development

No branches or pull requests
2 participants
@nmaguirre @saiema