Changeset 999

Show
Ignore:
Timestamp:
12/27/11 15:21:00 (5 months ago)
Author:
ke
Message:

added FS test mode, no Gralej parse errors during compilation of test grammar\!

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/kahinaqtype/qtrace.pl

    r996 r999  
    6969kahinasicstus:post_exit_hook(Bridge,JVM,Inv,_,_) :- 
    7070  execution_state(goal(_:Goal)), 
    71   term_grisu(Goal,[],Grisu), 
     71  term_grisu(Goal,'',Grisu), 
    7272  register_goal(Bridge,JVM,Inv,[111,117,116],Grisu). % out 
    7373 

  • trunk/src/org/kahina/qtype/data/bindings/QTypeGoal.java

    r903 r999  
    11package org.kahina.qtype.data.bindings; 
     2 
     3import gralej.parsers.ParseException; 
    24 
    35import org.kahina.core.data.KahinaObject; 
    46import org.kahina.tralesld.data.fs.TraleSLDFS; 
     7import org.kahina.tralesld.visual.fs.VisualizationUtility; 
    58 
    69public class QTypeGoal extends KahinaObject 
    710{ 
    811        private static final long serialVersionUID = 1626803422982352323L; 
     12         
     13        private static final boolean TEST_MODE = false; 
    914 
    1015        private TraleSLDFS in; 
    1116         
    1217        private TraleSLDFS out; 
     18         
     19        private static final VisualizationUtility util = new VisualizationUtility(); 
    1320         
    1421        public QTypeGoal() 
    …… 
    1825        public QTypeGoal(QTypeGoal original) 
    1926        { 
     27                this(); 
    2028                in = original.in; 
    2129                out = original.out; 
    …… 
    2432        public void setIn(TraleSLDFS grisu) 
    2533        { 
     34                test(grisu); 
    2635                in = grisu; 
    2736        } 
    …… 
    2938        public void setOut(TraleSLDFS grisu) 
    3039        { 
     40                test(grisu); 
    3141                out = grisu; 
    3242        } 
    …… 
    4151                return out; 
    4252        } 
     53         
     54        private void test(TraleSLDFS grisuMessage) 
     55        { 
     56                if (TEST_MODE) 
     57                { 
     58                        String string = grisuMessage.toString(); 
     59                        System.err.print(string); 
     60                         
     61                        try 
     62                        { 
     63                                util.parseGrisu(string); 
     64                        } catch (ParseException e) 
     65                        { 
     66                                e.printStackTrace(); 
     67                        } 
     68                } 
     69        } 
    4370}