Ejemplo n.º 1
0
 public meter(bit32 size, CounterType type)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 2
0
 public void execute_meter <T>(bit32 index, out T result)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 3
0
 public static void truncate(bit32 length)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 4
0
 public void count(bit32 index)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 5
0
 public action_selector(HashAlgorithm algorithm, bit32 size, bit32 outputWidth)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 6
0
 public static void clone3 <T>(CloneType type, bit32 session, T data)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 7
0
 public static void random(bit32 result, bit32 lo, bit32 hi)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 8
0
 public void advance(bit32 sizeInBits);
Ejemplo n.º 9
0
 public void write(bit32 index, T value)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 10
0
 public action_profile(bit32 size)
 {
 }
Ejemplo n.º 11
0
            //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();
            }
Ejemplo n.º 12
0
            //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();
            }
Ejemplo n.º 13
0
 static void clone(CloneType type, bit32 session)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 14
0
 public register(bit32 size)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 15
0
 public static void digest <T>(bit32 receiver, T data)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 16
0
 public void read(out T result, bit32 index)
 {
     throw new NotImplementedException();
 }
Ejemplo n.º 17
0
 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;