diff --git a/src/analysis/typepal/ConfigurableScopeGraph.rsc b/src/analysis/typepal/ConfigurableScopeGraph.rsc index 23a14b7..20d6860 100644 --- a/src/analysis/typepal/ConfigurableScopeGraph.rsc +++ b/src/analysis/typepal/ConfigurableScopeGraph.rsc @@ -60,12 +60,20 @@ bool defaultReportUnused (loc _, TModel _) { return false; } +// https://en.wikipedia.org/wiki/Uniform_Resource_Identifier#:~:text=A%20URI%20is%20composed%20from,)%2C%20and%20the%20character%20%25%20. +// gen-delims: : / ? # [ ] @ +// sub-delims: ! $ & ' ( ) * + , ; +// unreserved chars: a-z A-Z 0-9 - . _ ~ +// percent: % + +str legalInURI = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-,_~!$\'()*+;"; +public set[str] legalInURIChars = { legalInURI[i] | i <- [0..size(legalInURI)] }; + str reduceToURIChars(str s){ - return visit(s){ - case /^/ => c - case str _ => "" - } - } + res = "<}>"; + //println("reduceToURIChars() =\> "); + return res; +} loc defaultLogicalLoc(Define def, str _modelName, PathConfig _pcfg){ return def.defined; // return original and don't create logical location