[cleanup] Applied Eclipse Cleanup rules

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

709 stars 124 forks source link

[cleanup] Applied Eclipse Cleanup rules #39

Closed pkriens closed 6 years ago

pkriens commented 6 years ago

Formatting (no more tabs)
Width = 140 (80 for comments)
@Deprecated/@Override added
Unnecessary casts removed
Proper reference to static constants when referenced via a subclass
Remove unused imports
Remove trailing whitespace
Organized imports

pkriens commented 6 years ago

thanks