Loggers (in executable jar, or in Eclipse) #42
Comments
|
When launching FML.java in Eclipse (package standalone), there is another "issue", much less severe and perhaps related... First, the issue is that the verbose mode is activated by default! Second observation: there is no problem this time with counting or configs... One direction to investigate: if I will remember there is a log4j file properties somewhere. 0 [Thread-1] DEBUG fr.familiar.interpreter.FMLShell - Launching FAMILIAR fm1: (FEATURE_MODEL) A: B [C] ; c1: (DOUBLE) 2.0 c1: (DOUBLE) 2.0 res0: (SET) {{A;B};{A;C;B}} |
|
Using Eclipse: the verbose is not by default, I basically launch FML.java with the... --verbose mode ;-) So there is no issue with Eclipse. We still need to address why the executable jar miserably fails. FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning) version 1.1 (beta) |
|
The issue disappears with "correct" settings of JVM parameters...
I have to check if the parameters of the BDD factory (number of max nodes) can be set differently (lower values that do not require so much memory) |
When an operation relying on BDD (javabdd) is launched, like counting, the program stops and raises an exception...
The verbose mode suggests that something goes wrong with the "loggers"
(see below: 13249 [main] DEBUG miliar.parser.FMLCommandInterpreter - Closing loggers temporary)
If I well remember, there is a subtle hack over JavaBDD library since this library has an improper management of loggers... The hack (to be confirmed) consists in temporarily redirecting the output to a silent mode.
We need to investigate more.
FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning) version 1.1 (beta)
http://familiar-project.github.com/
fml> fm1 = FM (A : [b] C [de]; )
fm1: (FEATURE_MODEL) A: [de] [b] C ;
fml> counting fm1
Exception: java.lang.StackOverflowError thrown from the UncaughtExceptionHandler in thread "main"
macher-wifi:familiar.standalone macher1$ java -Xmx014M -jar target/FAMILIAR-Standalone-1.0.10-jar-with-dependencies.jar --verbose
0 [main] DEBUG fr.familiar.interpreter.FMLShell - Launching FAMILIAR
DEBUG: Loading prompt.
FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning) version 1.1 (beta)
http://familiar-project.github.com/
fml> fm1 = FM (A : [b] C [de]; )
3920 [main] DEBUG fr.familiar.interpreter.FMLShell - FAMILIAR: fm1 = FM (A : [b] C [de]; )
DEBUG: (Info cmd) fm1 = FM (A : [b] C [de]; )
3920 [main] DEBUG miliar.parser.FMLCommandInterpreter - resourseSet creation...
3923 [main] DEBUG miliar.parser.FMLCommandInterpreter - resourseSet=org.eclipse.xtext.resource.SynchronizedXtextResourceSet@b7e7be4 resources=[]
4099 [main] DEBUG miliar.parser.FMLCommandInterpreter - resourseSet options loaded + resource dummy...
4099 [main] DEBUG miliar.parser.FMLCommandInterpreter - resource=org.eclipse.xtext.linking.lazy.LazyLinkingResource@286d11a4 uri='dummy:/example1005924087.fml'
4262 [main] DEBUG miliar.parser.FMLCommandInterpreter - resourse loaded...
4266 [main] DEBUG miliar.parser.FMLCommandInterpreter - model: org.xtext.example.mydsl.fML.impl.FamiliarScriptImpl@c6d625b (eProxyURI: dummy:/example1005924087.fml#/)
4266 [main] DEBUG miliar.parser.FMLCommandInterpreter - parsing: org.xtext.example.mydsl.fML.impl.ScriptCommandImpl@61544abc (eProxyURI: dummy:/example1005924087.fml#//@cmds.0)
4266 [main] DEBUG miliar.parser.FMLCommandInterpreter - parsing: complex command org.xtext.example.mydsl.fML.impl.ComplexCommandImpl@37362188 (eProxyURI: dummy:/example1005924087.fml#//@cmds.0/@cmd) with var=fm1
4266 [main] DEBUG miliar.parser.FMLCommandInterpreter - No longer possible to declare parameters
4266 [main] DEBUG miliar.parser.FMLCommandInterpreter - Number of arguments (0) or parammeters (0) is correct.
4306 [main] DEBUG miliar.parser.FMLCommandInterpreter - assignment: fm1 = 1856130502
4307 [main] DEBUG miliar.parser.FMLCommandInterpreter - variable fm1 does not exist: fr.familiar.interpreter.VariableNotExistingException: variable fm1 does not exist
4307 [main] DEBUG miliar.parser.FMLCommandInterpreter - Creation needed
4311 [main] DEBUG fr.familiar.interpreter.FMLShell - (DISPLAYING) fm1: (FEATURE_MODEL) A: [de] [b] C ;
fm1: (FEATURE_MODEL) A: [de] [b] C ;
fml> counting fm1
13240 [main] DEBUG fr.familiar.interpreter.FMLShell - FAMILIAR: counting fm1
DEBUG: (Info cmd) counting fm1
13241 [main] DEBUG miliar.parser.FMLCommandInterpreter - resourseSet options loaded + resource dummy...
13241 [main] DEBUG miliar.parser.FMLCommandInterpreter - resource=org.eclipse.xtext.linking.lazy.LazyLinkingResource@23ce7dc3 uri='dummy:/example1505159334.fml'
13247 [main] DEBUG miliar.parser.FMLCommandInterpreter - resourse loaded...
13247 [main] DEBUG miliar.parser.FMLCommandInterpreter - model: org.xtext.example.mydsl.fML.impl.FamiliarScriptImpl@662566bd (eProxyURI: dummy:/example1505159334.fml#/)
13248 [main] DEBUG miliar.parser.FMLCommandInterpreter - parsing: org.xtext.example.mydsl.fML.impl.ComplexCommandImpl@217c36af (eProxyURI: dummy:/example1505159334.fml#//@cmds.0)
13248 [main] DEBUG miliar.parser.FMLCommandInterpreter - parsing: complex command org.xtext.example.mydsl.fML.impl.ComplexCommandImpl@217c36af (eProxyURI: dummy:/example1505159334.fml#//@cmds.0) with var=null
13248 [main] DEBUG miliar.parser.FMLCommandInterpreter - identifier:
13249 [main] DEBUG miliar.parser.FMLCommandInterpreter - Closing loggers temporary
Exception: java.lang.StackOverflowError thrown from the UncaughtExceptionHandler in thread "main"
The text was updated successfully, but these errors were encountered: