Package net.sf.jcontracts.antlr

Examples of net.sf.jcontracts.antlr.Token


        returnToken_ = token;
    }

    public final void mBSR(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match(">>>");
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.BSR);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here


        returnToken_ = token;
    }

    public final void mBSR_ASSIGN(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match(">>>=");
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.BSR_ASSIGN);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    public final void mBXOR(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match('^');
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.BXOR);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    public final void mBXOR_ASSIGN(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match("^=");
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.BXOR_ASSIGN);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    public final void mCHAR_LITERAL(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match('\'');
        switch (la_1)
        {
            case 92: // '\\'
                mESC(false);
                break;

            case 3: // '\003'
            case 4: // '\004'
            case 5: // '\005'
            case 6: // '\006'
            case 7: // '\007'
            case 8: // '\b'
            case 9: // '\t'
            case 10: // '\n'
            case 11: // '\013'
            case 12: // '\f'
            case 13: // '\r'
            case 14: // '\016'
            case 15: // '\017'
            case 16: // '\020'
            case 17: // '\021'
            case 18: // '\022'
            case 19: // '\023'
            case 20: // '\024'
            case 21: // '\025'
            case 22: // '\026'
            case 23: // '\027'
            case 24: // '\030'
            case 25: // '\031'
            case 26: // '\032'
            case 27: // '\033'
            case 28: // '\034'
            case 29: // '\035'
            case 30: // '\036'
            case 31: // '\037'
            case 32: // ' '
            case 33: // '!'
            case 34: // '"'
            case 35: // '#'
            case 36: // '$'
            case 37: // '%'
            case 38: // '&'
            case 40: // '('
            case 41: // ')'
            case 42: // '*'
            case 43: // '+'
            case 44: // ','
            case 45: // '-'
            case 46: // '.'
            case 47: // '/'
            case 48: // '0'
            case 49: // '1'
            case 50: // '2'
            case 51: // '3'
            case 52: // '4'
            case 53: // '5'
            case 54: // '6'
            case 55: // '7'
            case 56: // '8'
            case 57: // '9'
            case 58: // ':'
            case 59: // ';'
            case 60: // '<'
            case 61: // '='
            case 62: // '>'
            case 63: // '?'
            case 64: // '@'
            case 65: // 'A'
            case 66: // 'B'
            case 67: // 'C'
            case 68: // 'D'
            case 69: // 'E'
            case 70: // 'F'
            case 71: // 'G'
            case 72: // 'H'
            case 73: // 'I'
            case 74: // 'J'
            case 75: // 'K'
            case 76: // 'L'
            case 77: // 'M'
            case 78: // 'N'
            case 79: // 'O'
            case 80: // 'P'
            case 81: // 'Q'
            case 82: // 'R'
            case 83: // 'S'
            case 84: // 'T'
            case 85: // 'U'
            case 86: // 'V'
            case 87: // 'W'
            case 88: // 'X'
            case 89: // 'Y'
            case 90: // 'Z'
            case 91: // '['
            case 93: // ']'
            case 94: // '^'
            case 95: // '_'
            case 96: // '`'
            case 97: // 'a'
            case 98: // 'b'
            case 99: // 'c'
            case 100: // 'd'
            case 101: // 'e'
            case 102: // 'f'
            case 103: // 'g'
            case 104: // 'h'
            case 105: // 'i'
            case 106: // 'j'
            case 107: // 'k'
            case 108: // 'l'
            case 109: // 'm'
            case 110: // 'n'
            case 111: // 'o'
            case 112: // 'p'
            case 113: // 'q'
            case 114: // 'r'
            case 115: // 's'
            case 116: // 't'
            case 117: // 'u'
            case 118: // 'v'
            case 119: // 'w'
            case 120: // 'x'
            case 121: // 'y'
            case 122: // 'z'
            case 123: // '{'
            case 124: // '|'
            case 125: // '}'
            case 126: // '~'
            case 127: // '\177'
            case 128:
            case 129:
            case 130:
            case 131:
            case 132:
            case 133:
            case 134:
            case 135:
            case 136:
            case 137:
            case 138:
            case 139:
            case 140:
            case 141:
            case 142:
            case 143:
            case 144:
            case 145:
            case 146:
            case 147:
            case 148:
            case 149:
            case 150:
            case 151:
            case 152:
            case 153:
            case 154:
            case 155:
            case 156:
            case 157:
            case 158:
            case 159:
            case 160:
            case 161:
            case 162:
            case 163:
            case 164:
            case 165:
            case 166:
            case 167:
            case 168:
            case 169:
            case 170:
            case 171:
            case 172:
            case 173:
            case 174:
            case 175:
            case 176:
            case 177:
            case 178:
            case 179:
            case 180:
            case 181:
            case 182:
            case 183:
            case 184:
            case 185:
            case 186:
            case 187:
            case 188:
            case 189:
            case 190:
            case 191:
            case 192:
            case 193:
            case 194:
            case 195:
            case 196:
            case 197:
            case 198:
            case 199:
            case 200:
            case 201:
            case 202:
            case 203:
            case 204:
            case 205:
            case 206:
            case 207:
            case 208:
            case 209:
            case 210:
            case 211:
            case 212:
            case 213:
            case 214:
            case 215:
            case 216:
            case 217:
            case 218:
            case 219:
            case 220:
            case 221:
            case 222:
            case 223:
            case 224:
            case 225:
            case 226:
            case 227:
            case 228:
            case 229:
            case 230:
            case 231:
            case 232:
            case 233:
            case 234:
            case 235:
            case 236:
            case 237:
            case 238:
            case 239:
            case 240:
            case 241:
            case 242:
            case 243:
            case 244:
            case 245:
            case 246:
            case 247:
            case 248:
            case 249:
            case 250:
            case 251:
            case 252:
            case 253:
            case 254:
            case 255:
                matchNot('\'');
                break;

            default:
                throw new ScannerException("no viable alt for char: " + LA(1), getLine());
        }
        match('\'');
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.CHAR_LITERAL);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    public final void mCODE_COMMENT(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        char character = '\0';
        CodeComment codeComment = new CodeComment();
        match("/**");
        String title = mCODE_COMMENT_STRING(false, false);
        codeComment.setTitle(title);
        do
        {
            switch (la_1)
            {
                case 10: // '\n'
                    match('\n');
                    newline();
                    continue;

                case 3: // '\003'
                case 4: // '\004'
                case 5: // '\005'
                case 6: // '\006'
                case 7: // '\007'
                case 8: // '\b'
                case 9: // '\t'
                case 11: // '\013'
                case 12: // '\f'
                case 13: // '\r'
                case 14: // '\016'
                case 15: // '\017'
                case 16: // '\020'
                case 17: // '\021'
                case 18: // '\022'
                case 19: // '\023'
                case 20: // '\024'
                case 21: // '\025'
                case 22: // '\026'
                case 23: // '\027'
                case 24: // '\030'
                case 25: // '\031'
                case 26: // '\032'
                case 27: // '\033'
                case 28: // '\034'
                case 29: // '\035'
                case 30: // '\036'
                case 31: // '\037'
                case 32: // ' '
                case 33: // '!'
                case 34: // '"'
                case 35: // '#'
                case 36: // '$'
                case 37: // '%'
                case 38: // '&'
                case 39: // '\''
                case 40: // '('
                case 41: // ')'
                case 43: // '+'
                case 44: // ','
                case 45: // '-'
                case 46: // '.'
                case 47: // '/'
                case 48: // '0'
                case 49: // '1'
                case 50: // '2'
                case 51: // '3'
                case 52: // '4'
                case 53: // '5'
                case 54: // '6'
                case 55: // '7'
                case 56: // '8'
                case 57: // '9'
                case 58: // ':'
                case 59: // ';'
                case 60: // '<'
                case 61: // '='
                case 62: // '>'
                case 63: // '?'
                case 64: // '@'
                case 65: // 'A'
                case 66: // 'B'
                case 67: // 'C'
                case 68: // 'D'
                case 69: // 'E'
                case 70: // 'F'
                case 71: // 'G'
                case 72: // 'H'
                case 73: // 'I'
                case 74: // 'J'
                case 75: // 'K'
                case 76: // 'L'
                case 77: // 'M'
                case 78: // 'N'
                case 79: // 'O'
                case 80: // 'P'
                case 81: // 'Q'
                case 82: // 'R'
                case 83: // 'S'
                case 84: // 'T'
                case 85: // 'U'
                case 86: // 'V'
                case 87: // 'W'
                case 88: // 'X'
                case 89: // 'Y'
                case 90: // 'Z'
                case 91: // '['
                case 92: // '\\'
                case 93: // ']'
                case 94: // '^'
                case 95: // '_'
                case 96: // '`'
                case 97: // 'a'
                case 98: // 'b'
                case 99: // 'c'
                case 100: // 'd'
                case 101: // 'e'
                case 102: // 'f'
                case 103: // 'g'
                case 104: // 'h'
                case 105: // 'i'
                case 106: // 'j'
                case 107: // 'k'
                case 108: // 'l'
                case 109: // 'm'
                case 110: // 'n'
                case 111: // 'o'
                case 112: // 'p'
                case 113: // 'q'
                case 114: // 'r'
                case 115: // 's'
                case 116: // 't'
                case 117: // 'u'
                case 118: // 'v'
                case 119: // 'w'
                case 120: // 'x'
                case 121: // 'y'
                case 122: // 'z'
                case 123: // '{'
                case 124: // '|'
                case 125: // '}'
                case 126: // '~'
                case 127: // '\177'
                case 128:
                case 129:
                case 130:
                case 131:
                case 132:
                case 133:
                case 134:
                case 135:
                case 136:
                case 137:
                case 138:
                case 139:
                case 140:
                case 141:
                case 142:
                case 143:
                case 144:
                case 145:
                case 146:
                case 147:
                case 148:
                case 149:
                case 150:
                case 151:
                case 152:
                case 153:
                case 154:
                case 155:
                case 156:
                case 157:
                case 158:
                case 159:
                case 160:
                case 161:
                case 162:
                case 163:
                case 164:
                case 165:
                case 166:
                case 167:
                case 168:
                case 169:
                case 170:
                case 171:
                case 172:
                case 173:
                case 174:
                case 175:
                case 176:
                case 177:
                case 178:
                case 179:
                case 180:
                case 181:
                case 182:
                case 183:
                case 184:
                case 185:
                case 186:
                case 187:
                case 188:
                case 189:
                case 190:
                case 191:
                case 192:
                case 193:
                case 194:
                case 195:
                case 196:
                case 197:
                case 198:
                case 199:
                case 200:
                case 201:
                case 202:
                case 203:
                case 204:
                case 205:
                case 206:
                case 207:
                case 208:
                case 209:
                case 210:
                case 211:
                case 212:
                case 213:
                case 214:
                case 215:
                case 216:
                case 217:
                case 218:
                case 219:
                case 220:
                case 221:
                case 222:
                case 223:
                case 224:
                case 225:
                case 226:
                case 227:
                case 228:
                case 229:
                case 230:
                case 231:
                case 232:
                case 233:
                case 234:
                case 235:
                case 236:
                case 237:
                case 238:
                case 239:
                case 240:
                case 241:
                case 242:
                case 243:
                case 244:
                case 245:
                case 246:
                case 247:
                case 248:
                case 249:
                case 250:
                case 251:
                case 252:
                case 253:
                case 254:
                case 255:
                    match(TOKEN_SET_3);
                    continue;
            }
            if (la_1 == '*' && la_2 == ' ' && LA(3) == '@' && LA(4) >= '\003' && LA(4) <= '\377')
            {
                match("* @");
                if (la_1 >= '\003' && la_1 <= '\377' && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003'
                        && LA(3) <= '\377')
                {
                    StringBuffer strbuf = new StringBuffer();
                    while (TOKEN_SET_4.member(la_1))
                    {
                        character = la_1;
                        match(TOKEN_SET_4);
                        strbuf.append(character);
                    }

                    switch (la_1)
                    {
                        case 32: // ' '
                            match(' ');
                            break;

                        case 9: // '\t'
                            match('\t');
                            break;

                        default:
                            throw new ScannerException("no viable alt for char: " + LA(1), getLine());
                    }
                    String entry = mCODE_COMMENT_STRING(false, false);
                    codeComment.addTagEntry(strbuf.toString(), entry);
                }
                else if (la_1 < '\003' || la_1 > '\377' || la_2 < '\003' || la_2 > '\377')
                {
                    throw new ScannerException("no viable alt for char: " + LA(1), getLine());
                }
                continue;
            }
            if (la_1 == '*' && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003' && LA(3) <= '\377' && LA(2) != ' '
                    && LA(2) != '/')
            {
                match('*');
                continue;
            }
            if (la_1 != '*' || la_2 < '\003' || la_2 > '\377' || LA(3) < '\003' || LA(3) > '\377' || LA(2) != ' '
                    || LA(3) == '@')
            {
                break;
            }
            match('*');
        }
        while (true);
        match("*/");
        setData(codeComment);
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.CODE_COMMENT);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    protected final String mCODE_COMMENT_STRING(boolean mustCreateToken, boolean preserveCRs) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        String str = null;
        StringBuffer strbuf = new StringBuffer();
        boolean spaceAdded = false;
        label0: do
        {
            label1:
            {
                if (la_1 != '\n' && la_1 != '\r' || la_2 < '\003' || la_2 > '\377' || LA(3) < '\003' || LA(3) > '\377')
                {
                    break label1;
                }
                int _cnt = 0;
                do
                {
                    if ((la_1 == '\n' || la_1 == '\r') && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003'
                            && LA(3) <= '\377')
                    {
                        while (la_1 == '\r')
                        {
                            match('\r');
                        }
                        match('\n');
                        newline();
                        if (preserveCRs)
                        {
                            strbuf.append("\r\n");
                        }
                    }
                    else
                    {
                        if (_cnt < 1)
                        {
                            throw new ScannerException("no viable alt for char: " + LA(1), getLine());
                        }
                        break;
                    }
                    _cnt++;
                }
                while (true);
                if (!preserveCRs && !spaceAdded)
                {
                    strbuf.append(' ');
                }
                spaceAdded = true;
                while (TOKEN_SET_0.member(la_1) && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003'
                        && LA(3) <= '\377')
                {
                    matchNot('*');
                }
                do
                {
                    if (la_1 != '*' || la_2 < '\003' || la_2 > '\377' || LA(3) < '\003' || LA(3) > '\377'
                            || (LA(2) == ' ' || LA(2) == '/') && (LA(2) != ' ' || LA(3) == '@'))
                    {
                        continue label0;
                    }
                    match('*');
                    do
                    {
                        while (la_1 == ' ' && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003' && LA(3) <= '\377')
                        {
                            match(' ');
                        }
                        if (la_1 != '\t' || la_2 < '\003' || la_2 > '\377' || LA(3) < '\003' || LA(3) > '\377')
                        {
                            break;
                        }
                        match('\t');
                    }
                    while (true);
                }
                while (true);
            }
            if (la_1 == '*' && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003' && LA(3) <= '\377' && LA(2) != ' '
                    && LA(2) != '/')
            {
                char ct0 = la_1;
                match('*');
                strbuf.append(ct0);
                spaceAdded = false;
                continue;
            }
            if (la_1 == '*' && la_2 >= '\003' && la_2 <= '\377' && LA(3) >= '\003' && LA(3) <= '\377' && LA(2) == ' '
                    && LA(3) != '@')
            {
                char ct1 = la_1;
                match('*');
                strbuf.append(ct1);
                spaceAdded = false;
                continue;
            }
            if (la_1 < '\003' || la_1 > '\376' || la_2 < '\003' || la_2 > '\377' || LA(3) < '\003' || LA(3) > '\377'
                    || (LA(2) == ' ' || LA(2) == '/') && (LA(2) != ' ' || LA(3) == '@'))
            {
                break;
            }
            char ct2 = la_1;
            matchNot('\377');
            strbuf.append(ct2);
            spaceAdded = false;
        }
        while (true);
        str = strbuf.toString().trim();
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.CODE_COMMENT_STRING);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
        return str;
    }
View Full Code Here

        return str;
    }

    public final void mCOLON(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match(':');
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.COLON);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    public final void mCOMMA(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match(',');
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.COMMA);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

        returnToken_ = token;
    }

    public final void mDEC(boolean mustCreateToken) throws ScannerException
    {
        Token token = null;
        int begin = text.length();
        match("--");
        if (mustCreateToken)
        {
            token = makeToken(JavaTokenTypes.DEC);
            token.setText(new String(text.getBuffer(), begin, text.length() - begin));
        }
        returnToken_ = token;
    }
View Full Code Here

TOP

Related Classes of net.sf.jcontracts.antlr.Token

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.