taskLiberty Eiffel - Tasks: task #13859, warning in case an inspect doesn't...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

task #13859: warning in case an inspect doesn't have an else clause

Submitted by:  Raphael Mack <ramack>
Submitted on:  Tue 05 Jan 2016 10:22:08 PM UTC  
 
Should Start On:  Mon 04 Jan 2016 11:00:00 PM UTC Should be Finished on:  Mon 04 Jan 2016 11:00:00 PM UTC
Category:  None Priority:  5 - Normal
Status:  None Percent Complete:  0%
Assigned to:  None Open/Closed:  Open
Fixed Release:  None Planned Release:  dennis
Effort:  0.00

Sat 22 Sep 2018 07:45:34 PM UTC, comment #2:

The inspect without else is fully correct, yes. But even in C static code checkers often recommend to have a default label in a switch-case block.

So I personally think it would be nice to get a warning, as I want to always write the else in an inspect - even if it is empty. But definitely we should think of a mode without that warning. I anyhow could imagine, that sooner or later we want to have an "ecma-mode" which might allow more (in terms of agents for example) and don't warn in these cases, which are legal but not recommended from "our" point of view.

Raphael Mack <ramack>
Project Administrator
Tue 18 Sep 2018 01:43:49 PM UTC, comment #1:

according to the flowchart shown on https://wiki.liberty-eiffel.org/index.php/Syntax_diagrams#Inspect an 'else clause' is optional, so likely the code might have been correct?

Hans Zwakenberg <hzwakenberg>
Project Administrator
Tue 05 Jan 2016 10:22:08 PM UTC, original submission:

I stumbled over some code with an inspect without an else clause, where actually the error handling was missing.

Shouldn't we emit a warning for inspect without else?

Raphael Mack <ramack>
Project Administrator

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by hzwakenberg (Posted a comment)
  • -email is unavailable- added by ramack (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

     

     

    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2018-09-14 ramack Planned Releasecurtiss => dennis

    Back to the top


    Powered by Savane 3.4