Struct PragmaSet 

pub struct PragmaSet {
    pub entries: Vec<Pragma>,
}

The pragmas in force in one Polydat scope: those the scope declares and those of every scope enclosing it.

Fields

entries: Vec<Pragma>

The pragmas in force, the enclosing scopes’ first, in order.

Implementations

impl PragmaSet

pub fn host(strict: bool) -> PragmaSet

The set a program’s top scope starts from before its own pragmas are added: strict when the host asks for strict compilation (CompileOptions::strict, the binary’s --strict), and empty otherwise. The seeded strict is in force exactly as a pragma strict written at the top of the program is, so every scope that inherits the top scope’s set inherits it, and a module body, which compiles under its own pragmas alone, does not.

pub fn contains(&self, name: &str) -> bool

Returns true if the named pragma is in force.

pub fn strict_types(&self) -> bool

Returns true if either strict_types or strict, which implies it, is in force.

pub fn strict_values(&self) -> bool

Returns true if either strict_values or strict, which implies it, is in force.

pub fn strict_names(&self) -> bool

Returns true if strict name checking is in force: strict, and no other pragma. A comprehension read in this scope that reads a name nothing binds is then refused (comprehension_forms.md §5 V3).

pub fn unknown(&self) -> impl Iterator<Item = &Pragma>

Iterate the pragmas in force that the compiler doesn’t recognise.

pub fn nested(&self, statements: &[Statement]) -> PragmaSet

The set a scope nested in this one compiles under: every pragma in force here, then the pragmas statements (the nested scope’s own) declare. Pragmas in scopes nested inside statements are not collected; each applies when its own scope compiles.

Trait Implementations

impl Clone for PragmaSet

fn clone(&self) -> PragmaSet

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PragmaSet

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for PragmaSet

fn default() -> PragmaSet

Returns the “default value” for a type.