s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1396 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: a066e5db8e
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'a066e5db8e'
${ noResults }
prism-accumulation/prism/src/parser
Dave Parker a066e5db8e
Bugfix in handling of init/deadlock labels during constant processing - e.g. P=?[F "deadlock"&x=i] failed if i was a constant. 		14 years ago
..
ast Fixed a bug in getAllUndefinedConstantsRecursively. Showed up when running auto in embedded example. Bug found by Janne Kauttio. 14 years ago
type Improvements to StateValues class + it's use in explicit model checking. 15 years ago
visitor Bugfix in handling of init/deadlock labels during constant processing - e.g. P=?[F "deadlock"&x=i] failed if i was a constant. 14 years ago
EvaluateContext.java Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk. 17 years ago
EvaluateContextState.java Added new expression evaluation methods (needed for explicit model checker). Unfortunately breaks some existing calls to evaluate(constVals, null) due to ambiguities. Need to replace them with evaluate(constVals). 15 years ago
EvaluateContextSubstate.java Added new expression evaluation methods (needed for explicit model checker). Unfortunately breaks some existing calls to evaluate(constVals, null) due to ambiguities. Need to replace them with evaluate(constVals). 15 years ago
EvaluateContextValues.java Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk. 17 years ago
Makefile Makefile fix. Package parser.type may not get built in some scenarios. 14 years ago
ParseException.java Updated all parser files to new JavaCC (version 5.0) and removed getShortMessage() addition to ParseException. 15 years ago
ParserUtils.java Added new expression evaluation methods (needed for explicit model checker). Unfortunately breaks some existing calls to evaluate(constVals, null) due to ambiguities. Need to replace them with evaluate(constVals). 15 years ago
Prism3To4.java Updated all parser files to new JavaCC (version 5.0) and removed getShortMessage() addition to ParseException. 15 years ago
Prism3To4.jj Updated all parser files to new JavaCC (version 5.0) and removed getShortMessage() addition to ParseException. 15 years ago
Prism3To4Constants.java Allowed strict lower bounds in temporal operators (CTMCs only). Note: New parser classes generated due to new version of JavaCC. 15 years ago
Prism3To4TokenManager.java Allowed strict lower bounds in temporal operators (CTMCs only). Note: New parser classes generated due to new version of JavaCC. 15 years ago
PrismParser.java Added iff (<=>) to PRISM model/properties language. 15 years ago
PrismParser.jj Added iff (<=>) to PRISM model/properties language. 15 years ago
PrismParserConstants.java Added iff (<=>) to PRISM model/properties language. 15 years ago
PrismParserTokenManager.java Added iff (<=>) to PRISM model/properties language. 15 years ago
PrismSyntaxHighlighter.java Added -css switch to prism2html to allow override of style file location. 15 years ago
README PRISM trunk layout rearrangement. 20 years ago
SimpleCharStream.java Allowed strict lower bounds in temporal operators (CTMCs only). Note: New parser classes generated due to new version of JavaCC. 15 years ago
State.java General tidy up of initial state handling in simulator, including a few GUI bug fixes. GUI default is to use the default initial state. For generation of simulation paths, there is a separate menu item to start from a specified state (and no option to switch asking on/off). Additional tidying and documentation in related parts of code too. 15 years ago
Token.java Allowed strict lower bounds in temporal operators (CTMCs only). Note: New parser classes generated due to new version of JavaCC. 15 years ago
TokenMgrError.java Allowed strict lower bounds in temporal operators (CTMCs only). Note: New parser classes generated due to new version of JavaCC. 15 years ago
Values.java Improved doc for Values class + new toStringConcatenated method. 15 years ago
VarList.java Added new expression evaluation methods (needed for explicit model checker). Unfortunately breaks some existing calls to evaluate(constVals, null) due to ambiguities. Need to replace them with evaluate(constVals). 15 years ago
package-info.java Improved documentation (JavaDoc mostly). 15 years ago

README 

parser
======

To compile .jj file into .java parser
-------------------------------------

(cd parser; javacc PrismParser.jj); javac parser/PrismParser.java