コード例 #1
0
 public AuditLogService(ProofContext proofContext)
 {
     _proofContext = proofContext;
 }
コード例 #2
0
	public ProofContext proof() {
		ProofContext _localctx = new ProofContext(Context, State);
		EnterRule(_localctx, 2, RULE_proof);
		int _la;
		try {
			EnterOuterAlt(_localctx, 1);
			{
			State = 23;
			ErrorHandler.Sync(this);
			_la = TokenStream.La(1);
			while ((((_la) & ~0x3f) == 0 && ((1L << _la) & ((1L << T__6) | (1L << T__7) | (1L << ID))) != 0)) {
				{
				{
				State = 18; expression();
				State = 19; Match(T__0);
				}
				}
				State = 25;
				ErrorHandler.Sync(this);
				_la = TokenStream.La(1);
			}
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			ErrorHandler.ReportError(this, re);
			ErrorHandler.Recover(this, re);
		}
		finally {
			ExitRule();
		}
		return _localctx;
	}