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

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

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

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

Modified Paths:
--------------
    trunk/source/java/net/sf/jcontracts/icontract/instruction/DeclareReturnValueHolder.java
    trunk/source/java/net/sf/jcontracts/icontract/instruction/Instruction.java
    trunk/source/java/net/sf/jcontracts/icontract/instruction/InstructionBase.java

Modified: trunk/source/java/net/sf/jcontracts/icontract/instruction/DeclareReturnValueHolder.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/instruction/DeclareReturnValueHolder.java	2006-11-27 16:50:57 UTC (rev 29)
+++ trunk/source/java/net/sf/jcontracts/icontract/instruction/DeclareReturnValueHolder.java	2006-11-27 16:51:37 UTC (rev 30)
@@ -2,9 +2,11 @@
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
 
-public class DeclareReturnValueHolder extends InstructionBase {
+public class DeclareReturnValueHolder extends InstructionBase
+{
 
-   public DeclareReturnValueHolder(CodeMetaclass codeElement) {
-      super(codeElement);
-   }
+    public DeclareReturnValueHolder(CodeMetaclass codeElement)
+    {
+        super(codeElement);
+    }
 }

Modified: trunk/source/java/net/sf/jcontracts/icontract/instruction/Instruction.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/instruction/Instruction.java	2006-11-27 16:50:57 UTC (rev 29)
+++ trunk/source/java/net/sf/jcontracts/icontract/instruction/Instruction.java	2006-11-27 16:51:37 UTC (rev 30)
@@ -1,14 +1,17 @@
 package net.sf.jcontracts.icontract.instruction;
 
+public interface Instruction
+{
 
-public interface Instruction {
+    public static final String COMMENT_TAG = "#*#";
 
-   public static final String COMMENT_TAG = "#*#";
-   public static final String START_SEPARATION_STRING_A = "//#*#";
-   public static final String START_SEPARATION_STRING_B = "-------------------------------------------------------------------------------";
-   public static final String END_SEPARATION_STRING = "//-------------------------------------------------------------------------------#*#";
+    public static final String START_SEPARATION_STRING_A = "//#*#";
 
-   public abstract String getCode();
+    public static final String START_SEPARATION_STRING_B = "-------------------------------------------------------------------------------";
 
-   public abstract int getInsertionLocation();
+    public static final String END_SEPARATION_STRING = "//-------------------------------------------------------------------------------#*#";
+
+    public abstract String getCode();
+
+    public abstract int getInsertionLocation();
 }

Modified: trunk/source/java/net/sf/jcontracts/icontract/instruction/InstructionBase.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/instruction/InstructionBase.java	2006-11-27 16:50:57 UTC (rev 29)
+++ trunk/source/java/net/sf/jcontracts/icontract/instruction/InstructionBase.java	2006-11-27 16:51:37 UTC (rev 30)
@@ -2,24 +2,29 @@
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
 
-public abstract class InstructionBase
-   implements Instruction {
+public abstract class InstructionBase implements Instruction
+{
 
-   protected CodeMetaclass parent_;
-   protected int insertion_location_;
-   protected String code_;
+    protected CodeMetaclass parent_;
 
-   public InstructionBase(CodeMetaclass codeElement) {
-      insertion_location_ = 0;
-      code_ = "";
-      parent_ = codeElement;
-   }
+    protected int insertion_location_;
 
-   public String getCode() {
-      return code_;
-   }
+    protected String code_;
 
-   public int getInsertionLocation() {
-      return insertion_location_;
-   }
+    public InstructionBase(CodeMetaclass codeElement)
+    {
+        insertion_location_ = 0;
+        code_ = "";
+        parent_ = codeElement;
+    }
+
+    public String getCode()
+    {
+        return code_;
+    }
+
+    public int getInsertionLocation()
+    {
+        return insertion_location_;
+    }
 }


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