/[eiffelstudio]/branches/eth/eve/Src/framework/program_analysis/expression/expression/epa_quantified_expression.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/program_analysis/expression/expression/epa_quantified_expression.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 98117 by jasonw, Fri Dec 20 15:08:05 2013 UTC revision 98118 by maxpei, Thu Nov 19 13:59:02 2015 UTC
# Line 193  feature{NONE} -- Implementation Line 193  feature{NONE} -- Implementation
193                          l_text.append (type_in_text_from_a_type (a_type.instantiated_in(class_.constraint_actual_type)))                          l_text.append (type_in_text_from_a_type (a_type.instantiated_in(class_.constraint_actual_type)))
194    
195                          l_parser := entity_declaration_parser                          l_parser := entity_declaration_parser
196                          l_parser.set_syntax_version (l_parser.transitional_syntax)                          l_parser.set_syntax_version (l_parser.Provisional_syntax)
197                          l_parser.parse_from_ascii_string (l_text, Void)                          l_parser.parse_from_ascii_string (l_text, Void)
198                          l_vars_def := l_parser.entity_declaration_node                          l_vars_def := l_parser.entity_declaration_node
199                          if a_universal then                          if a_universal then

Legend:
Removed from v.98117  
changed lines
  Added in v.98118

  ViewVC Help
Powered by ViewVC 1.1.23