s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Code tidy (JavaDoc). 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8594 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 12 years ago
parent
085a3e0b1c
commit
309cfc0294
7 changed files with 35 additions and 105 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 20
      prism/src/parser/ast/SystemBrackets.java
  2. 20
      prism/src/parser/ast/SystemFullParallel.java
  3. 20
      prism/src/parser/ast/SystemHide.java
  4. 20
      prism/src/parser/ast/SystemInterleaved.java
  5. 20
      prism/src/parser/ast/SystemModule.java
  6. 20
      prism/src/parser/ast/SystemParallel.java
  7. 20
      prism/src/parser/ast/SystemRename.java

20
prism/src/parser/ast/SystemBrackets.java
View File

@ -67,17 +67,13 @@ public class SystemBrackets extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
operand.getModules(v);
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
operand.getSynchs(v);
@ -85,25 +81,19 @@ public class SystemBrackets extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
return "(" + operand + ")";
}
/**
* Perform a deep copy.
*/
@Override
public SystemDefn deepCopy()
{
SystemDefn ret = new SystemBrackets(getOperand().deepCopy());

20
prism/src/parser/ast/SystemFullParallel.java
View File

@ -69,9 +69,7 @@ public class SystemFullParallel extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
int i, n;
@ -82,9 +80,7 @@ public class SystemFullParallel extends SystemDefn
}
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
int i, n;
@ -97,17 +93,13 @@ public class SystemFullParallel extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
int i, n;
@ -124,9 +116,7 @@ public class SystemFullParallel extends SystemDefn
return s;
}
/**
* Perform a deep copy.
*/
@Override
public SystemDefn deepCopy()
{
int i, n;

20
prism/src/parser/ast/SystemHide.java
View File

@ -92,17 +92,13 @@ public class SystemHide extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
operand.getModules(v);
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
// recurse
@ -111,17 +107,13 @@ public class SystemHide extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
int i, n;
@ -140,9 +132,7 @@ public class SystemHide extends SystemDefn
return s;
}
/**
* Perform a deep copy.
*/
@Override
public SystemDefn deepCopy()
{
int i, n;

20
prism/src/parser/ast/SystemInterleaved.java
View File

@ -69,9 +69,7 @@ public class SystemInterleaved extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
int i, n;
@ -82,9 +80,7 @@ public class SystemInterleaved extends SystemDefn
}
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
int i, n;
@ -97,17 +93,13 @@ public class SystemInterleaved extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
int i, n;
@ -124,9 +116,7 @@ public class SystemInterleaved extends SystemDefn
return s;
}
/**
* Perform a deep copy.
*/
@Override
public SystemDefn deepCopy()
{
int i, n;

20
prism/src/parser/ast/SystemModule.java
View File

@ -63,17 +63,13 @@ public class SystemModule extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
v.addElement(name);
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
// do nothing
@ -81,25 +77,19 @@ public class SystemModule extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
return name;
}
/**
* Perform a deep copy.
*/
@Override
public SystemDefn deepCopy()
{
SystemDefn ret = new SystemModule(name);

20
prism/src/parser/ast/SystemParallel.java
View File

@ -104,18 +104,14 @@ public class SystemParallel extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
operand1.getModules(v);
operand2.getModules(v);
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
operand1.getSynchs(v);
@ -124,17 +120,13 @@ public class SystemParallel extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
int i, n;
@ -153,9 +145,7 @@ public class SystemParallel extends SystemDefn
return s;
}
/**
* Perform a deep copy.
*/
@Override
@SuppressWarnings("unchecked")
public SystemDefn deepCopy()
{

20
prism/src/parser/ast/SystemRename.java
View File

@ -110,17 +110,13 @@ public class SystemRename extends SystemDefn
// Methods required for SystemDefn (all subclasses should implement):
/**
* Get list of all modules appearing (recursively).
*/
@Override
public void getModules(Vector<String> v)
{
operand.getModules(v);
}
/**
* Get list of all synchronising actions _introduced_ (recursively).
*/
@Override
public void getSynchs(Vector<String> v)
{
int i, n;
@ -141,17 +137,13 @@ public class SystemRename extends SystemDefn
// Methods required for ASTElement:
/**
* Visitor method.
*/
@Override
public Object accept(ASTVisitor v) throws PrismLangException
{
return v.visit(this);
}
/**
* Convert to string.
*/
@Override
public String toString()
{
int i, n;
@ -170,9 +162,7 @@ public class SystemRename extends SystemDefn
return s;
}
/**
* Perform a deep copy.
*/
@Override
public SystemDefn deepCopy()
{
int i, n;

Write Preview
Loading…
Cancel
Save