CheckType.java

package com.digiarea.closure.model;

import java.io.IOException;

import com.digiarea.closure.model.visitor.GenericVisitor;
import com.digiarea.closure.model.visitor.VoidVisitor;
import com.digiarea.zippy.ZippyBuffer;

public enum CheckType {

    CHECK_SYMBOLS, 
    CHECK_SUSPICIOUS_CODE, 
    @Deprecated
   CHECK_CONTROL_SCTRUCTURES, 
    CHECK_TYPES, 
    @Deprecated
    TIGHTEN_TYPES, 
    @Deprecated
    CHECK_CAJA, 
    COMPUTE_FUNCTION_SIDE_EFFECTS, 
    CHAIN_CALLS;

    public <C> void accept(VoidVisitor<C> v, C ctx) throws Exception {
        v.visit(this, ctx);
    }

    public <R, C> R accept(GenericVisitor<R, C> v, C ctx) throws Exception {
        return v.visit(this, ctx);
    }

    public final int sizeOfCheckType() {
        int size = 0;
        size += ZippyBuffer.sizeOfRawVarInt(ordinal());
        size += 1;
        return size;
    }

    public final void writeCheckType(final ZippyBuffer writer) throws IOException {
        writer.writeRawVarInt(ordinal());
        writer.writeRawVarInt(0);
    }

    public static CheckType readCheckType(final ZippyBuffer reader) throws IOException {
        final CheckType packet = CheckType.values()[reader.readRawVarInt()];
        int sector;
        while ((sector = reader.readSector()) != 0) {
            switch(sector) {
            }
        }
        return packet;
    }

}