diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-04 09:17:39 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-04 09:17:39 +0900 |
| commit | 12fac91fbadd25d963bea93fef245345cba96bbc (patch) | |
| tree | fd7c23a25649c30b5200180db36279855fe49de9 | |
| parent | cf702af6f165b4623e7e5e009deedefda88a15e2 (diff) | |
| download | abc-12fac91fbadd25d963bea93fef245345cba96bbc.tar.gz abc-12fac91fbadd25d963bea93fef245345cba96bbc.tar.bz2 abc-12fac91fbadd25d963bea93fef245345cba96bbc.zip | |
Supporting ~^ as equality operator in Wlc.
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index e52513f3..65fa7acf 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -662,11 +662,11 @@ static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t * return 0; Type = WLC_OBJ_CONST; } - else if ( pStr[0] == '!' || pStr[0] == '~' || pStr[0] == '@' || pStr[0] == '#' ) + else if ( pStr[0] == '!' || (pStr[0] == '~' && pStr[1] != '^') || pStr[0] == '@' || pStr[0] == '#' ) { if ( pStr[0] == '!' ) Type = WLC_OBJ_LOGIC_NOT; - else if ( pStr[0] == '~' ) + else if ( pStr[0] == '~' && pStr[1] != '^' ) Type = WLC_OBJ_BIT_NOT; else if ( pStr[0] == '@' ) Type = WLC_OBJ_ARI_SQRT; @@ -774,6 +774,7 @@ static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t * else if ( pStr[0] == '&' && pStr[1] == '&' ) pStr += 2, Type = WLC_OBJ_LOGIC_AND; else if ( pStr[0] == '|' && pStr[1] == '|' ) pStr += 2, Type = WLC_OBJ_LOGIC_OR; else if ( pStr[0] == '=' && pStr[1] == '=' ) pStr += 2, Type = WLC_OBJ_COMP_EQU; + else if ( pStr[0] == '~' && pStr[1] == '^' ) pStr += 2, Type = WLC_OBJ_COMP_EQU; else if ( pStr[0] == '!' && pStr[1] == '=' ) pStr += 2, Type = WLC_OBJ_COMP_NOTEQU; else if ( pStr[0] == '<' && pStr[1] != '=' ) pStr += 1, Type = WLC_OBJ_COMP_LESS; else if ( pStr[0] == '>' && pStr[1] != '=' ) pStr += 1, Type = WLC_OBJ_COMP_MORE; |