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