yog-script-analyze 0.2.2

Yog Script (.ys, .yns) analyzed: its lexer, parser and syntax tree, names resolved, the class index model — what the build and the editors read a source with.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

//! A declaration's type parameters and what they must be (`ys-grammar.md`
//! §2.3): `<in T, out R>`, `where T : class, new(), IComparable<T>`.

use super::{Name, Type};

/// `T`, `in T`, `out T`, or a lifetime `'a`.
#[derive(Debug, Clone, PartialEq)]
pub struct Generic {
    pub name: Name,
    pub variance: Option<Variance>,
    /// `'a`: a lifetime, not a type.
    pub lifetime: bool,
}

/// An interface's or a delegate's type parameter: taken (`in`) or given
/// (`out`).
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum Variance {
    In,
    Out,
}

/// One thing a type parameter must be.
#[derive(Debug, Clone, PartialEq)]
pub enum Constraint {
    /// `class`: an object (a reference).
    Class,
    /// `struct`: a value.
    Struct,
    /// `new()`: made with no arguments.
    New,
    /// A base class or an interface.
    Type(Type),
}

/// `where T : …`.
#[derive(Debug, Clone, PartialEq)]
pub struct Where {
    pub name: Name,
    pub bounds: Vec<Constraint>,
}