diff options
Diffstat (limited to 'src/map/mio')
-rw-r--r-- | src/map/mio/mioRead.c | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/map/mio/mioRead.c b/src/map/mio/mioRead.c index ab2d0761..c682ef60 100644 --- a/src/map/mio/mioRead.c +++ b/src/map/mio/mioRead.c @@ -335,13 +335,27 @@ int Mio_LibraryReadInternal( Mio_Library_t * pLib, char * pBuffer, int fExtended char * Mio_LibraryCleanStr( char * p ) { int i, k; + int whitespace_state = 0; char * pRes = Abc_UtilStrsav( p ); for ( i = k = 0; pRes[i]; i++ ) - if ( pRes[i] != ' ' && pRes[i] != '\t' && pRes[i] != '\r' && pRes[i] != '\n' ) + if ( pRes[i] != ' ' && pRes[i] != '\t' && pRes[i] != '\r' && pRes[i] != '\n' ) + { + if ( pRes[i] != '(' && pRes[i] != ')' && pRes[i] != '+' && pRes[i] != '*' && pRes[i] != '|' && pRes[i] != '&' && pRes[i] != '^' && pRes[i] != '\'' && pRes[i] != '!' ) + { + if (whitespace_state == 2) + pRes[k++] = ' '; + whitespace_state = 1; + } + else + whitespace_state = 0; pRes[k++] = pRes[i]; + } + else + whitespace_state = whitespace_state ? 2 : 0; pRes[k] = 0; return pRes; } + Mio_Gate_t * Mio_LibraryReadGate( char ** ppToken, int fExtendedFormat ) { Mio_Gate_t * pGate; |