[Jcontracts-svn] SF.net SVN: jcontracts: [29] trunk/source/java/net/sf/jcontracts/icontract/ side

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

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

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

Modified Paths:
--------------
    trunk/source/java/net/sf/jcontracts/icontract/side/MethodFront.java
    trunk/source/java/net/sf/jcontracts/icontract/side/Side.java
    trunk/source/java/net/sf/jcontracts/icontract/side/SideBase.java
    trunk/source/java/net/sf/jcontracts/icontract/side/SideFactory.java

Modified: trunk/source/java/net/sf/jcontracts/icontract/side/MethodFront.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/side/MethodFront.java	2006-11-27 16:50:03 UTC (rev 28)
+++ trunk/source/java/net/sf/jcontracts/icontract/side/MethodFront.java	2006-11-27 16:50:57 UTC (rev 29)
@@ -5,17 +5,19 @@
 import net.sf.jcontracts.codeparser.CodeMetaclass;
 import net.sf.jcontracts.icontract.instruction.DeclareReturnValueHolder;
 
-public class MethodFront extends SideBase
-   implements Side {
+public class MethodFront extends SideBase implements Side
+{
 
-   public MethodFront(CodeMetaclass codeElement) {
-      super(codeElement);
-      super.parent_ = codeElement;
-   }
+    public MethodFront(CodeMetaclass codeElement)
+    {
+        super(codeElement);
+        super.parent_ = codeElement;
+    }
 
-   public Vector createInstructions(boolean pre, boolean post, boolean inv) {
-      Vector vec = new Vector();
-      vec.addElement(new DeclareReturnValueHolder(getParent()));
-      return vec;
-   }
+    public Vector createInstructions(boolean pre, boolean post, boolean inv)
+    {
+        Vector vec = new Vector();
+        vec.addElement(new DeclareReturnValueHolder(getParent()));
+        return vec;
+    }
 }

Modified: trunk/source/java/net/sf/jcontracts/icontract/side/Side.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/side/Side.java	2006-11-27 16:50:03 UTC (rev 28)
+++ trunk/source/java/net/sf/jcontracts/icontract/side/Side.java	2006-11-27 16:50:57 UTC (rev 29)
@@ -4,9 +4,10 @@
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
 
-public interface Side {
+public interface Side
+{
 
-   public abstract Vector createInstructions(boolean flag, boolean flag1, boolean flag2);
+    public abstract Vector createInstructions(boolean flag, boolean flag1, boolean flag2);
 
-   public abstract CodeMetaclass getParent();
+    public abstract CodeMetaclass getParent();
 }

Modified: trunk/source/java/net/sf/jcontracts/icontract/side/SideBase.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/side/SideBase.java	2006-11-27 16:50:03 UTC (rev 28)
+++ trunk/source/java/net/sf/jcontracts/icontract/side/SideBase.java	2006-11-27 16:50:57 UTC (rev 29)
@@ -2,15 +2,18 @@
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
 
-public abstract class SideBase {
+public abstract class SideBase
+{
 
-   protected CodeMetaclass parent_;
+    protected CodeMetaclass parent_;
 
-   public SideBase(CodeMetaclass codeElement) {
-      parent_ = codeElement;
-   }
+    public SideBase(CodeMetaclass codeElement)
+    {
+        parent_ = codeElement;
+    }
 
-   public CodeMetaclass getParent() {
-      return parent_;
-   }
+    public CodeMetaclass getParent()
+    {
+        return parent_;
+    }
 }

Modified: trunk/source/java/net/sf/jcontracts/icontract/side/SideFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/side/SideFactory.java	2006-11-27 16:50:03 UTC (rev 28)
+++ trunk/source/java/net/sf/jcontracts/icontract/side/SideFactory.java	2006-11-27 16:50:57 UTC (rev 29)
@@ -2,9 +2,10 @@
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
 
-public interface SideFactory {
+public interface SideFactory
+{
 
-   public abstract Side createFrontFor(CodeMetaclass codemetaclass);
+    public abstract Side createFrontFor(CodeMetaclass codemetaclass);
 
-   public abstract Side createRearFor(CodeMetaclass codemetaclass);
+    public abstract Side createRearFor(CodeMetaclass codemetaclass);
 }


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