public meter(bit32 size, CounterType type) { throw new NotImplementedException(); }
public void execute_meter <T>(bit32 index, out T result) { throw new NotImplementedException(); }
public static void truncate(bit32 length) { throw new NotImplementedException(); }
public void count(bit32 index) { throw new NotImplementedException(); }
public action_selector(HashAlgorithm algorithm, bit32 size, bit32 outputWidth) { throw new NotImplementedException(); }
public static void clone3 <T>(CloneType type, bit32 session, T data) { throw new NotImplementedException(); }
public static void random(bit32 result, bit32 lo, bit32 hi) { throw new NotImplementedException(); }
public void advance(bit32 sizeInBits);
public void write(bit32 index, T value) { throw new NotImplementedException(); }
public action_profile(bit32 size) { }
//T packet_in.lookahead<T>() //{ // bitsToExtract = sizeof(T); // lastBitNeeded = this.nextBitIndex + bitsToExtract; // ParserModel.verify(this.lengthInBits >= lastBitNeeded, error.PacketTooShort); // T tmp = this.data.extractBits(this.nextBitIndex, bitsToExtract); // return tmp; //} public void advance(bit32 sizeInBits) { throw new NotImplementedException(); }
//void packet_in.extract<T>(out T headerLValue) // NOTE: I am working on the assumption this should actually be `inout` //{ // //ParserModel.verify(!headerLValue.valid$, error.OverwritingHeader); // Removed // bitsToExtract = sizeofInBits(headerLValue); // lastBitNeeded = this.nextBitIndex + bitsToExtract; // ParserModel.verify(this.lengthInBits >= lastBitNeeded, error.PacketTooShort); // headerLValue = this.data.extractBits(this.nextBitIndex, bitsToExtract); // headerLValue.valid$ = true; // if headerLValue.isNext$ { // verify(headerLValue.nextIndex$ < headerLValue.size, error.StackOutOfBounds); // headerLValue.nextIndex$ = headerLValue.nextIndex$ +1; // } // this.nextBitIndex += bitsToExtract; //} public void extract <T>(out T variableSizeHeader, bit32 variableFieldSizeInBits) { throw new NotImplementedException(); }
static void clone(CloneType type, bit32 session) { throw new NotImplementedException(); }
public register(bit32 size) { throw new NotImplementedException(); }
public static void digest <T>(bit32 receiver, T data) { throw new NotImplementedException(); }
public void read(out T result, bit32 index) { throw new NotImplementedException(); }
public void extract <T>(out T hdr) where T : HeaderBase; // NOTE this constraint on T is not in the JSON - will this need to be a special case in the matching? (this is in an extern object, so user can specifiy?) public void extract <T>(out T variableSizeHeader, bit32 variableFieldSizeInBits) where T : HeaderBase;