Topic: [ANN][XEL] Elastic Project - The Decentralized Supercomputer - page 292. (Read 450524 times)

javac *.java

input 3;
m[3]=16777216;
m[4]=0;
m[5]=0;
m[6]=0;
m[7]=0;
m[8]=0;
m[9]=0;
m[10]=0;
m[11]=0;
m[12]=1000599037;
m[13]=2054886066;
m[14]=2059873342;
m[15]=1735823201;
m[16]=2143820739;
m[17]=2290766130;
m[18]=983546026;
m[19]=1260281418;
m[20]=699096905;
m[21]=4294901789;
m[22]=497811456 | (m[1] & 65535);
SHA256 3 80;
SHA256 3 32;
verify (m[10]==0);

java ElasticPL bitcoin_block_0.epl

SHA256 x y;
MD5 x y;

input 3;
m[3]=16777216;
m[4]=0;
m[5]=0;
m[6]=0;
m[7]=0;
m[8]=0;
m[9]=0;
m[10]=0;
m[11]=0;
m[12]=1000599037;
m[13]=2054886066;
m[14]=2059873342;
m[15]=1735823201;
m[16]=2143820739;
m[17]=2290766130;
m[18]=983546026;
m[19]=1260281418;
m[20]=699096905;
m[21]=4294901789;
m[22]=497822464 | (m[1] & 255);
SHA256 3 80;
SHA256 3 32;
verify m[10]==0;

verify m[10]==0;

SKIP : 
{
  " "
| "\t"
| "\n"
| "\r"
| "\f"
}


TOKEN : 
{
  < INTEGER_LITERAL: ()+ >
}


void CompilationUnit() :
{
   String name;
}
{
   (
       Statement()
   )*
   FinalBountyCheckExpression()
   
}

void FinalBountyCheckExpression() :
{}
{
  "verify" Expression() ";"
}

void Expression() #void:
{}
{
  LOOKAHEAD( PrimaryExpression() "=" )
  Assignment()
|
  ConditionalOrExpression()
}


void Assignment() #Assignment(2) :
{}
{
  PrimaryExpression() "=" Expression()
}


void ConditionalOrExpression() #void :
{}
{
  ConditionalAndExpression()
  ( "||" ConditionalAndExpression() #OrNode(2) )*
}


void ConditionalAndExpression() #void :
{}
{
  InclusiveOrExpression()
  ( "&&" InclusiveOrExpression() #AndNode(2) )*
}


void InclusiveOrExpression() #void :
{}
{
  ExclusiveOrExpression()
  ( "|" ExclusiveOrExpression() #BitwiseOrNode(2) )*
}


void ExclusiveOrExpression() #void :
{}
{
  AndExpression()
  ( "^" AndExpression() #BitwiseXorNode(2) )*
}


void AndExpression() #void :
{}
{
  EqualityExpression()
  ( "&" EqualityExpression() #BitwiseAndNode(2) )*
}


void EqualityExpression() #void :
{}
{
  RelationalExpression()
  (
     "==" RelationalExpression() #EQNode(2)
   |
     "!=" RelationalExpression() #NENode(2)
  )*
}


void RelationalExpression() #void :
{}
{
  AdditiveExpression()
  (
    "<" AdditiveExpression() #LTNode(2)
   |
    ">" AdditiveExpression() #GTNode(2)
   |
    "<=" AdditiveExpression() #LENode(2)
   |
    ">=" AdditiveExpression() #GENode(2)
  )*
}


void AdditiveExpression() #void :
{}
{
  MultiplicativeExpression()
  (
    "+" MultiplicativeExpression() #AddNode(2)
   |
    "-" MultiplicativeExpression() #SubtractNode(2)
  )*
}


void MultiplicativeExpression() #void :
{}
{
  UnaryExpression()
  (
    "*" UnaryExpression() #MulNode(2)
   |
    "/" UnaryExpression() #DivNode(2)
   |
    "%" UnaryExpression() #ModNode(2)
   |
    ">>" UnaryExpression() #RShiftNode(2)
   |
    "<<" UnaryExpression() #LShiftNode(2)
   |
    ">>>" UnaryExpression() #RRotNode(2)
   |
    "<<<" UnaryExpression() #LRotNode(2)
  )*
}


void UnaryExpression() #void :
{}
{
  "~" UnaryExpression() #BitwiseComplNode(1)
|
  "!" UnaryExpression() #NotNode(1)
|
  PrimaryExpression()
}


void PrimaryExpression() #void :
{
   String name;
}
{
  Literal()
|
  Id() 
|
  "(" Expression() ")"
}


void Id() :
{
   Token t;
}
{
   t =   { jjtThis.name = t.image; }
}


void Literal() #void :
{
   Token t;
}
{
 (
  t=
    {
       jjtThis.val = Integer.parseUnsignedInt(t.image);
    }
 )#IntConstNode
|
  BooleanLiteral()
}


void BooleanLiteral() #void :
{}
{
  "true" #TrueNode
|
  "false" #FalseNode
}


void Statement() #void :
{}
{
  ";"
|
  LOOKAHEAD(2)
  LabeledStatement()
|
  Block()
|
  StatementExpression()
|
  IfStatement()
|
  WhileStatement()
| 
  HashStatement()
}


void HashStatement() #void :
{}
{
   SHA256()
 |
   MD5()
}
void SHA256() :
{ Token t1; Token t2; }
{
   "SHA256" t1 =  t2 = 
   { jjtThis.position_to_start = Integer.valueOf(t1.image); jjtThis.byte_length = Integer.valueOf(t2.image); }
}
void MD5() :
{ Token t1; Token t2; }
{
   "MD5" t1 =  t2 = 
   { jjtThis.position_to_start = Integer.valueOf(t1.image); jjtThis.byte_length = Integer.valueOf(t2.image); }
}



void LabeledStatement() #void :
{}
{
   ":" Statement()
}


void Block() :
{}
{
  "{" ( Statement() )* "}"
}


void StatementExpression() :
{}
{
  Assignment() ";"
}


void IfStatement() :
{}
{
  "if" "(" Expression() ")" Statement() [ LOOKAHEAD(1) "else" Statement() ]
}


void WhileStatement() :
{}
{
  "while" "(" Expression() ")" Statement()
}


TOKEN : 
{
  < IDENTIFIER: "m[" (||||) "]" >
|
  < #DIGIT: [ "0"-"9" ] >
|
  < #NOZERODIGIT: [ "1"-"9" ] >
|
  < #ONE: [ "1" ] >
|
  < #TWO: [ "2" ] >
|
  < #ZEROTOFOUR: [ "0"-"4" ] >
|
  < #FIVE: [ "5" ] >
|
  < #ZEROTOFIVE: [ "0"-"5" ] >
}