src/Interpreter/signature.cc

   1 #include "signature.h"
   2 #include "set.h"
   3
   4 ValuedSignature::ValuedSignature(uint id):
   5         Signature(id),
   6         value(-1)
   7 {
   8 }
   9
  10 int ValuedSignature::getValue(){
  11         ASSERT(value != -1);
  12         return value;
  13 }
  14
  15 string Signature::operator+(const string& str){
  16         return toString() + str;
  17 }
  18
  19 string operator+(const string& str, const Signature& sig){
  20         return str + sig.toString();
  21 }