class Bpl::AtomicAnnotation

Public Instance Methods

run!(program) click to toggle source
# File lib/bpl/passes/concurrency/atomic_annotation.rb, line 7
def run! program
  program.declarations.each do |decl|
    if atomicity.atomic[decl]
      unless decl.has_attribute?(atomicity.attribute)
        decl.add_attribute(atomicity.attribute)
        invalidates :atomicity
      end
    end
  end
end