/* base -> 'id' | 'true' | 'false' | '(' expression ')' | '!' base */
ast_node* parse_base() {
if (match(T_ID, T_UNDEF)) /* parse variable instance */
return ast_push_id_expr(strdup(lexeme), lineno);
else if (match(T_TRUE, T_UNDEF)) /* parse literal */
return ast_push_lit_expr(1, lineno);
else if (match(T_FALSE, T_UNDEF))
return ast_push_lit_expr(0, lineno);
else if (match(T_L_PAREN, T_UNDEF)) {/* parse parenthetical */
ast_node* expr = parse_expression();
expect(T_R_PAREN);
return expr;
} else if (match(T_NOT, T_UNDEF)) { /* parse unary not */
ast_node* expr = parse_base();
return ast_push_not_expr(expr, lineno);
} else if (match(T_AF, T_UNDEF)) { /* parse CTL AF */
ast_node* expr = parse_base();
return ast_push_AF_expr(expr, lineno);
} else if (match(T_EF, T_UNDEF)) { /* parse CTL EF */
ast_node* expr = parse_base();
return ast_push_EF_expr(expr, lineno);
} else if (match(T_AG, T_UNDEF)) { /* parse CTL AG */
ast_node* expr = parse_base();
return ast_push_AG_expr(expr, lineno);
} else if (match(T_EG, T_UNDEF)) { /* parse CTL EG */
ast_node* expr = parse_base();
return ast_push_EG_expr(expr, lineno);
}
else
syntax_error("'ID', '(', '!', 'true' or 'false'");
}
value_index_ptr make_arithmetic(type x) {
static_assert(detail::is_any_v<T, integer_type, count_type, real_type,
timespan_type, timestamp_type>);
using concrete_data = type_to_data<T>;
using value_index_type = arithmetic_index<concrete_data>;
if (auto base = parse_base(x))
return std::make_unique<value_index_type>(std::move(x), std::move(*base));
return nullptr;
}
/* expression -> base expression_ */
ast_node* parse_expression() {
ast_node* lhs = parse_base();
return parse_expression_(lhs);
}
/*
* Given the archive name and the level_mode
* generate information about the archive
*
* Note the generated srf file is NOT indexed
*
* Returns 0 on success.
*/
int srf_info(char *input, int level_mode, long *read_count, long *chunk_count,
uint64_t *chunk_size, long key_count[NCHUNKS][NKEYS],
long type_count[NCHUNKS][NTYPES], HashTable *regn_hash,
uint64_t *base_count) {
srf_t *srf;
off_t pos;
int type;
int count = 0;
long trace_body_count = 0;
char name[1024];
if (NULL == (srf = srf_open(input, "rb"))) {
perror(input);
return 1;
}
while ((type = srf_next_block_type(srf)) >= 0) {
switch (type) {
case SRFB_CONTAINER:
if( trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
trace_body_count = 0;
}
if (0 != srf_read_cont_hdr(srf, &srf->ch)) {
fprintf(stderr, "Error reading container header.\nExiting.\n");
exit(1);
}
break;
case SRFB_XML:
if( trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
trace_body_count = 0;
}
if (0 != srf_read_xml(srf, &srf->xml)) {
fprintf(stderr, "Error reading XML.\nExiting.\n");
exit(1);
}
break;
case SRFB_TRACE_HEADER:
if( trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
trace_body_count = 0;
}
if (0 != srf_read_trace_hdr(srf, &srf->th)) {
fprintf(stderr, "Error reading trace header.\nExiting.\n");
exit(1);
}
if( 0 == (level_mode & (LEVEL_CHUNK | LEVEL_BASE)) )
break;
/* Decode ZTR chunks in the header */
if (srf->mf)
mfdestroy(srf->mf);
srf->mf = mfcreate(NULL, 0);
if (srf->th.trace_hdr_size)
mfwrite(srf->th.trace_hdr, 1, srf->th.trace_hdr_size, srf->mf);
if (srf->ztr)
delete_ztr(srf->ztr);
mrewind(srf->mf);
if (NULL != (srf->ztr = partial_decode_ztr(srf, srf->mf, NULL))) {
srf->mf_pos = mftell(srf->mf);
} else {
/* Maybe not enough to decode or no headerBlob. */
/* So delay until decoding the body. */
srf->mf_pos = 0;
}
mfseek(srf->mf, 0, SEEK_END);
srf->mf_end = mftell(srf->mf);
break;
case SRFB_TRACE_BODY: {
srf_trace_body_t old_tb;
ztr_t *ztr_tmp;
int no_trace = (level_mode & (LEVEL_CHUNK | LEVEL_BASE) ? 0 : 1);
if (0 != srf_read_trace_body(srf, &old_tb, no_trace)) {
fprintf(stderr, "Error reading trace body.\nExiting.\n");
exit(1);
}
if (-1 == construct_trace_name(srf->th.id_prefix,
(unsigned char *)old_tb.read_id,
old_tb.read_id_length,
name, 512)) {
fprintf(stderr, "Error constructing trace name.\nExiting.\n");
exit(1);
}
trace_body_count++;
if( 1 == trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( "trace_name: %s + %s", srf->th.id_prefix, name+strlen(srf->th.id_prefix));
}
read_count[READ_TOTAL]++;
if (old_tb.flags & SRF_READ_FLAG_BAD_MASK ){
read_count[READ_BAD]++;
} else {
read_count[READ_GOOD]++;
}
if( 0 == (level_mode & (LEVEL_CHUNK | LEVEL_BASE)) )
break;
if (!srf->mf) {
fprintf(stderr, "Error reading trace body.\nExiting.\n");
exit(1);
}
mfseek(srf->mf, srf->mf_end, SEEK_SET);
if (old_tb.trace_size) {
mfwrite(old_tb.trace, 1, old_tb.trace_size, srf->mf);
free(old_tb.trace);
old_tb.trace = NULL;
}
mftruncate(srf->mf, mftell(srf->mf));
mfseek(srf->mf, srf->mf_pos, SEEK_SET);
if (srf->ztr)
ztr_tmp = ztr_dup(srf->ztr); /* inefficient, but simple */
else
ztr_tmp = NULL;
if ((ztr_tmp = partial_decode_ztr(srf, srf->mf, ztr_tmp))) {
int i;
for (i=0; i<ztr_tmp->nchunks; i++) {
int ichunk = -1;
switch (ztr_tmp->chunk[i].type) {
case ZTR_TYPE_BASE:
ichunk = CHUNK_BASE;
chunk_size[ichunk] += ztr_tmp->chunk[i].dlength;
if( parse_base(ztr_tmp, &ztr_tmp->chunk[i], base_count) ){
delete_ztr(ztr_tmp);
return 1;
}
break;
case ZTR_TYPE_CNF1:
ichunk = CHUNK_CNF1;
chunk_size[ichunk] += ztr_tmp->chunk[i].dlength;
break;
case ZTR_TYPE_CNF4:
ichunk = CHUNK_CNF4;
chunk_size[ichunk] += ztr_tmp->chunk[i].dlength;
break;
case ZTR_TYPE_SAMP:
ichunk = CHUNK_SAMP;
chunk_size[ichunk] += ztr_tmp->chunk[i].dlength;
break;
case ZTR_TYPE_SMP4:
ichunk = CHUNK_SMP4;
chunk_size[ichunk] += ztr_tmp->chunk[i].dlength;
break;
case ZTR_TYPE_REGN:
ichunk = CHUNK_REGN;
chunk_size[ichunk] += ztr_tmp->chunk[i].dlength;
if( NULL == parse_regn(ztr_tmp, &ztr_tmp->chunk[i], regn_hash) ){
delete_ztr(ztr_tmp);
return 1;
}
break;
default:
break;
}
if( ichunk > -1 ) {
chunk_count[ichunk]++;
count_mdata_keys(ztr_tmp, &ztr_tmp->chunk[i], ichunk, key_count, type_count);
}
}
}
if( ztr_tmp )
delete_ztr(ztr_tmp);
count++;
if( (level_mode == LEVEL_CHECK) && (count == 10) ){
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
srf_destroy(srf, 1);
return 0;
}
break;
}
case SRFB_INDEX: {
off_t pos = ftell(srf->fp);
if( trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
trace_body_count = 0;
}
printf( "Reading srf index block\n");
if (0 != srf_read_index_hdr(srf, &srf->hdr, 1)) {
srf_destroy(srf, 1);
fprintf(stderr, "Error reading srf index block header.\nExiting.\n");
exit(1);
}
/* Skip the index body */
fseeko(srf->fp, pos + srf->hdr.size, SEEK_SET);
break;
}
case SRFB_NULL_INDEX: {
uint64_t ilen;
if( trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
trace_body_count = 0;
}
printf( "Reading srf null index block\n");
/*
* Maybe the last 8 bytes of a the file (or previously was
* last 8 bytes prior to concatenating SRF files together).
* If so it's the index length and should always be 8 zeros.
*/
if (1 != fread(&ilen, 8, 1, srf->fp)) {
srf_destroy(srf, 1);
fprintf(stderr, "Error reading srf null index block.\nExiting.\n");
exit(1);
}
if (ilen != 0) {
srf_destroy(srf, 1);
fprintf(stderr, "Invalid srf null index block.\nExiting.\n");
exit(1);
}
break;
}
default:
srf_destroy(srf, 1);
fprintf(stderr, "Block of unknown type '%c'\nExiting.\n", type);
exit(1);
}
}
if( trace_body_count ){
if( level_mode & LEVEL_NAME )
printf( " ... %s x%ld\n", name+strlen(srf->th.id_prefix), trace_body_count);
trace_body_count = 0;
}
/* the type should be -1 (EOF) */
if( type != -1 ) {
fprintf(stderr, "Block of unknown type '%c'\nExiting.\n", type);
exit(1);
}
/* are we really at the end of the srf file */
pos = ftell(srf->fp);
fseek(srf->fp, 0, SEEK_END);
if( pos != ftell(srf->fp) ){
fprintf(stderr, "srf file is corrupt\n");
exit(1);
}
srf_destroy(srf, 1);
return 0;
}
