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.
|
