dhh1128

id_validator: mark
  propagation: propagation_types.package | propagation_types.viral
  
  # Override mark.infect() -- define what parts of code should acquire this mark
  # automatically. Return a list of (site, mark_type) tuples.
  def infect(site):
    infected = []
    for module in site.package.modules:
      for function in module.functions:
        for param in function.parameters:

dhh1128

# Implementation of a mark that precludes gpl license
class no_gpl: mark
  propagation = propagation_types.called_code or propagation_types.contained_code
  
  # Override mark.can_bind(). Return reason why binding is 
  # impossible, or None on success.
  def can_bind(site, attachment):
    if attachment == mark_types.explicit_affirmative:
      if site.type.scope >= scope_types.code_block:
        if site.get_call_tree().is_marked('gpl', mark_types.explicit_affirmative):

dhh1128

// mocking variant 1
mock(1, int, Allocator::Run,(mjob_t *J, candidate_t * candidates[MAX_CAND_PER_ALLOC], 
    int *minTPN, int *maxTPN, char *attrMap, int *jobIndex, candidate_t **bestList, 
    int *taskCount, int *userCount));
    
// mocking variant 2
MOCK_CMETHOD4(int, IterateEvents, event_list_t const *, char **, mgevent_obj_t **, 
    event_iter_t);

// mocking variant 3

dhh1128

int DoSomething(
    Foo * foo, /* might be null; call GetDefaultFoo() if so */
    Bar ** bar /* if non-null, contains foo's associated Bar upon return */ )
{
    ... // body of function
}

dhh1128

hello: application
    Main:
        does:
            Print("Hello, World!")