Styjun

Does a return economy-class seat between London and San Francisco release 5.28 t of CO2e?

Apex REST API - Unable to set StatusCode to 429

Pi 4 I/O interface options... and where to find them

What is the purpose of putting a capacitor on the primary side of a step-down transformer?

Can White Castle? #3

Is it bad to describe a character long after their introduction?

Why do changes to /etc/hosts take effect immediately?

What does grep -v "grep" mean and do?

How would an order of Monks that renounce their names communicate effectively?

How to describe POV characters?

Buliding a larger matrix from a smaller one

Losing queen and then winning the game

Using a concentration spell on top of another spell from another spell list?

Can an editor review manuscript without sending to reviewers?

What is "oversubscription" in Networking?

Is there reliable evidence that depleted uranium from the 1999 NATO bombing is causing cancer in Serbia?

How can a valley surrounded by mountains be fertile and rainy?

Could human civilization live 150 years in a nuclear-powered aircraft carrier colony without resorting to mass killing/ cannibalism?

Are all commands with an optional argument fragile?

If two black hole event horizons overlap (touch) can they ever separate again?

Adjective for 'made of pus' or 'corrupted by pus' or something of something of pus

Company threatening to call my current job after I declined their offer

Prime parity peregrination

What's the easiest way for a whole party to be able to communicate with a creature that doesn't know Common?

How to use expression negation in ANTLR grammar

Solving ANTLR Mutually left-recursive rulesdefine a grammar in AntlrANTLR - allowing for incomplete grammarANTLR grammar errorWhy does my antlr grammar seem to properly parse this input?ANTLR Parsing - Ignoring comments on last line of inputQuickBasic Grammar using ANTLRAntlr error 100 in grammarANTLR grammar ambiguityQuery on ANTLR Grammar

.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;

1

I have below to implement in ANTLR grammar.

INPUT → EXPR ;
EXPR → if EXPR then EXPR else EXPR
 | EXPR (; EXPR)* 
 | ! EXPR
 | id := EXPR

I have done for 'expr' , but getting error while writing for !expr.

input : expr SEMICOLON;

expr : IF expr THEN expr ELSE expr 
| ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | !expr

 ;

This line is giving error - ( !expr).How can I write the negation?

antlr antlr3

share|improve this question

asked Mar 25 at 13:14

SriSri

3966 bronze badges

add a comment | 

1

I have below to implement in ANTLR grammar.

INPUT → EXPR ;
EXPR → if EXPR then EXPR else EXPR
 | EXPR (; EXPR)* 
 | ! EXPR
 | id := EXPR

I have done for 'expr' , but getting error while writing for !expr.

input : expr SEMICOLON;

expr : IF expr THEN expr ELSE expr 
| ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | !expr

 ;

This line is giving error - ( !expr).How can I write the negation?

antlr antlr3

share|improve this question

asked Mar 25 at 13:14

SriSri

3966 bronze badges

add a comment | 

I have below to implement in ANTLR grammar.

INPUT → EXPR ;
EXPR → if EXPR then EXPR else EXPR
 | EXPR (; EXPR)* 
 | ! EXPR
 | id := EXPR

I have done for 'expr' , but getting error while writing for !expr.

input : expr SEMICOLON;

expr : IF expr THEN expr ELSE expr 
| ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | !expr

 ;

This line is giving error - ( !expr).How can I write the negation?

antlr antlr3

share|improve this question

asked Mar 25 at 13:14

SriSri

3966 bronze badges

INPUT → EXPR ;
EXPR → if EXPR then EXPR else EXPR
 | EXPR (; EXPR)* 
 | ! EXPR
 | id := EXPR

input : expr SEMICOLON;

expr : IF expr THEN expr ELSE expr 
| ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | !expr

 ;

share|improve this question

asked Mar 25 at 13:14

SriSri

3966 bronze badges

share|improve this question

asked Mar 25 at 13:14

SriSri

3966 bronze badges

asked Mar 25 at 13:14

SriSri

3966 bronze badges

asked Mar 25 at 13:14

SriSri

3966 bronze badges

1 Answer
1

active

oldest

votes

0

The ! in ! EXPR is probably the literal exclamation mark. So add it as a lexer rule:

expr
 : IF expr THEN expr ELSE expr 
 | ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | NOT expr
 ;

...

NOT : '!';

share|improve this answer

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thanks a lot.It worked.
  
  – Sri
  Mar 26 at 19:33
  

  
  
  
  

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function ()
StackExchange.using("externalEditor", function ()
StackExchange.using("snippets", function ()
StackExchange.snippets.init();
);
);
, "code-snippets");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "1"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55338637%2fhow-to-use-expression-negation-in-antlr-grammar%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

0

The ! in ! EXPR is probably the literal exclamation mark. So add it as a lexer rule:

expr
 : IF expr THEN expr ELSE expr 
 | ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | NOT expr
 ;

...

NOT : '!';

share|improve this answer

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thanks a lot.It worked.
  
  – Sri
  Mar 26 at 19:33
  

  
  
  
  

add a comment | 

0

The ! in ! EXPR is probably the literal exclamation mark. So add it as a lexer rule:

expr
 : IF expr THEN expr ELSE expr 
 | ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | NOT expr
 ;

...

NOT : '!';

share|improve this answer

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thanks a lot.It worked.
  
  – Sri
  Mar 26 at 19:33
  

  
  
  
  

add a comment | 

The ! in ! EXPR is probably the literal exclamation mark. So add it as a lexer rule:

expr
 : IF expr THEN expr ELSE expr 
 | ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | NOT expr
 ;

...

NOT : '!';

share|improve this answer

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges

expr
 : IF expr THEN expr ELSE expr 
 | ID ASSIGN expr 
 | OBRACE expr ( SEMICOLON expr )* CBRACE
 | NOT expr
 ;

...

NOT : '!';

share|improve this answer

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges

answered Mar 25 at 13:48

Bart KiersBart Kiers

136k2929 gold badges252252 silver badges253253 bronze badges