CDo (SymbolicC Package Symbol)

CDo[body, test] is a symbolic representation of a do/while statement.

CEnum (SymbolicC Symbol)

CEnum[members] is a symbolic representation of an enum statement.

CError (SymbolicC Package Symbol)

CError[line] is a symbolic representation of a preprocessor error directive.

CFor (SymbolicC Package Symbol)

CFor[init, test, incr, body] is a symbolic representation of a for loop.

CIf (SymbolicC Package Symbol)

CIf[test, trueArg, falseArg] is a symbolic representation of a conditional statement. CIf[test, trueArg] only has a branch if test is true.

CInclude (SymbolicC Package Symbol)

CInclude[header] is a symbolic representation of a preprocessor include statement.

CMember (SymbolicC Package Symbol)

CMember[obj, mem] is a symbolic representation of access from a struct.

CPointerMember (SymbolicC Package Symbol)

CPointerMember[obj, mem] is a symbolic representation of access from a pointer to a struct.

CPointerType (SymbolicC Package Symbol)

CPointerType[type] is a symbolic representation of a type that is a pointer to a type.

CPragma (SymbolicC Package Symbol)

CPragma[line] is a symbolic representation of a preprocessor pragma directive.