Skip to content
Snippets Groups Projects
Commit 2f5e04da authored by birkhoff's avatar birkhoff
Browse files

minor bug fix when version numbers are fallowed by a '>'

parent 344313e1
No related branches found
No related tags found
No related merge requests found
groupID = "de.prob" groupID = "de.prob"
features = ["de.prob2.feature"] // must be the same as the folder name Please remember to add '../' if necessary features = ["de.prob2.feature"] // must be the same as the folder name Please remember to add '../' if necessary
descriptions = [["../de.prob2.feature": "ProB Rodin Plugin"],["../de.prob2.feature": """ProB is an animator and model checker for the B-Method. It allows descriptions = [["de.prob2.feature": "ProB Rodin Plugin"],["de.prob2.feature": """ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be fully automatic animation of many B specifications, and can be
used to systematically check a specification for errors. used to systematically check a specification for errors.
Part of the research and development was conducted within the Part of the research and development was conducted within the
......
...@@ -126,6 +126,7 @@ subprojects { ...@@ -126,6 +126,7 @@ subprojects {
if( it ==~ /.+version.+qualifier.+/ ){ if( it ==~ /.+version.+qualifier.+/ ){
versionNumber = it.substring(15,it.size()-1) versionNumber = it.substring(15,it.size()-1)
versionNumber = versionNumber.replace('"','')
// possibile error: cuts off first 15 chars and leaves out last '"' // possibile error: cuts off first 15 chars and leaves out last '"'
/* Version Number is taken from Feature.xml /* Version Number is taken from Feature.xml
...@@ -212,6 +213,8 @@ task createRepository() << { ...@@ -212,6 +213,8 @@ task createRepository() << {
printFileLine = { printFileLine = {
if( it ==~ /.+version.+qualifier.+/ ){ if( it ==~ /.+version.+qualifier.+/ ){
featureVersionNumber = it.substring(15,it.size()-1) featureVersionNumber = it.substring(15,it.size()-1)
featureVersionNumber = featureVersionNumber.replace('"','')
// possibile error: cuts off first 15 chars and leaves out last '"' // possibile error: cuts off first 15 chars and leaves out last '"'
/* Version Number is taken from Feature.xml /* Version Number is taken from Feature.xml
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment