jcontracts-svn

[<js...@us...>]

Revision: 25
          http://svn.sourceforge.net/jcontracts/?rev=25&view=rev
Author:   jstuyts
Date:     2006-11-27 08:47:30 -0800 (Mon, 27 Nov 2006)

Log Message:
-----------
Formatted code.

Modified Paths:
--------------
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureExporter.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecification.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecificationFilter.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IDependency.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ILanguageFactory.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IllFormedSpecificationException.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/RunData.java

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureExporter.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureExporter.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureExporter.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -2,11 +2,12 @@
 
 import java.io.IOException;
 
-public interface IArchitectureExporter {
+public interface IArchitectureExporter
+{
 
-   public abstract void close() throws IOException;
+    public abstract void close() throws IOException;
 
-   public abstract void export(IArchitectureSpecification iarchitecturespecification) throws IOException;
+    public abstract void export(IArchitectureSpecification iarchitecturespecification) throws IOException;
 
-   public abstract void open();
+    public abstract void open();
 }

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecification.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecification.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecification.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -2,27 +2,29 @@
 
 import java.io.IOException;
 
-public interface IArchitectureSpecification {
+public interface IArchitectureSpecification
+{
 
-   public abstract boolean check(IDependency idependency, StringBuffer stringbuffer, StringBuffer stringbuffer1);
+    public abstract boolean check(IDependency idependency, StringBuffer stringbuffer, StringBuffer stringbuffer1);
 
-   public abstract IArchitectureSpecification composeWith(IArchitectureSpecification iarchitecturespecification) throws IllFormedSpecificationException;
+    public abstract IArchitectureSpecification composeWith(IArchitectureSpecification iarchitecturespecification)
+            throws IllFormedSpecificationException;
 
-   public abstract String getWellFormedStatement();
+    public abstract String getWellFormedStatement();
 
-   public abstract boolean isEmpty();
+    public abstract boolean isEmpty();
 
-   public abstract IArchitectureExporter newArchitectureExporter(String s) throws IOException;
+    public abstract IArchitectureExporter newArchitectureExporter(String s) throws IOException;
 
-   public abstract IDependency newDependency(String s, String s1, String s2, String s3);
+    public abstract IDependency newDependency(String s, String s1, String s2, String s3);
 
-   public abstract IArchitectureSpecificationFilter newSpecificationFilter(String as[]);
+    public abstract IArchitectureSpecificationFilter newSpecificationFilter(String as[]);
 
-   public abstract void parseFrom(String s) throws IllFormedSpecificationException;
+    public abstract void parseFrom(String s) throws IllFormedSpecificationException;
 
-   public abstract void prepareForCheck() throws IllFormedSpecificationException;
+    public abstract void prepareForCheck() throws IllFormedSpecificationException;
 
-   public abstract String reportAfterAllChecks();
+    public abstract String reportAfterAllChecks();
 
-   public abstract String toString();
+    public abstract String toString();
 }

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecificationFilter.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecificationFilter.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecificationFilter.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -1,7 +1,8 @@
 package net.sf.jcontracts.idarwin.specification.openapi;
 
+public interface IArchitectureSpecificationFilter
+{
 
-public interface IArchitectureSpecificationFilter {
-
-   public abstract IArchitectureSpecification filter(IArchitectureSpecification iarchitecturespecification) throws IllFormedSpecificationException;
+    public abstract IArchitectureSpecification filter(IArchitectureSpecification iarchitecturespecification)
+            throws IllFormedSpecificationException;
 }

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IDependency.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IDependency.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IDependency.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -1,13 +1,13 @@
 package net.sf.jcontracts.idarwin.specification.openapi;
 
+public interface IDependency
+{
 
-public interface IDependency {
+    public abstract String getLocation();
 
-   public abstract String getLocation();
+    public abstract String getSource();
 
-   public abstract String getSource();
+    public abstract String getTarget();
 
-   public abstract String getTarget();
-
-   public abstract String getType();
+    public abstract String getType();
 }

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ILanguageFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ILanguageFactory.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ILanguageFactory.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -1,9 +1,9 @@
 package net.sf.jcontracts.idarwin.specification.openapi;
 
+public interface ILanguageFactory
+{
 
-public interface ILanguageFactory {
+    public static final String VERSION = "0.1c";
 
-   public static final String VERSION = "0.1c";
-
-   public abstract IArchitectureSpecification newArchitectureSpecification();
+    public abstract IArchitectureSpecification newArchitectureSpecification();
 }

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IllFormedSpecificationException.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IllFormedSpecificationException.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IllFormedSpecificationException.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -1,9 +1,10 @@
 package net.sf.jcontracts.idarwin.specification.openapi;
 
+public class IllFormedSpecificationException extends Exception
+{
 
-public class IllFormedSpecificationException extends Exception {
-
-   public IllFormedSpecificationException(String message) {
-      super(message);
-   }
+    public IllFormedSpecificationException(String message)
+    {
+        super(message);
+    }
 }

Modified: trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/RunData.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/RunData.java	2006-11-27 16:46:00 UTC (rev 24)
+++ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/RunData.java	2006-11-27 16:47:30 UTC (rev 25)
@@ -1,41 +1,51 @@
 package net.sf.jcontracts.idarwin.specification.openapi;
 
+public class RunData
+{
 
-public class RunData {
+    private int numberOfErrors;
 
-   private int numberOfErrors;
-   private int numberOfLinks;
-   private boolean directed;
-   private boolean doNotShowDependecyDetails;
+    private int numberOfLinks;
 
-   public RunData(boolean directed, boolean doNotShowDependecyDetails) {
-      numberOfErrors = 0;
-      numberOfLinks = 0;
-      this.directed = false;
-      this.doNotShowDependecyDetails = false;
-   }
+    private boolean directed;
 
-   public boolean doNotShowDependecyDetails() {
-      return doNotShowDependecyDetails;
-   }
+    private boolean doNotShowDependecyDetails;
 
-   public int getNumberOfErrors() {
-      return numberOfErrors;
-   }
+    public RunData(boolean directed, boolean doNotShowDependecyDetails)
+    {
+        numberOfErrors = 0;
+        numberOfLinks = 0;
+        this.directed = false;
+        this.doNotShowDependecyDetails = false;
+    }
 
-   public int getNumberOfLinks() {
-      return numberOfLinks;
-   }
+    public boolean doNotShowDependecyDetails()
+    {
+        return doNotShowDependecyDetails;
+    }
 
-   public void incrementNumberOfErrors() {
-      numberOfErrors++;
-   }
+    public int getNumberOfErrors()
+    {
+        return numberOfErrors;
+    }
 
-   public void incrementNumberOfLinks() {
-      numberOfLinks++;
-   }
+    public int getNumberOfLinks()
+    {
+        return numberOfLinks;
+    }
 
-   public boolean isDirected() {
-      return directed;
-   }
+    public void incrementNumberOfErrors()
+    {
+        numberOfErrors++;
+    }
+
+    public void incrementNumberOfLinks()
+    {
+        numberOfLinks++;
+    }
+
+    public boolean isDirected()
+    {
+        return directed;
+    }
 }


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.