Struct chalk::LoadedProgram
source · pub(crate) struct LoadedProgram {
pub(crate) text: String,
pub(crate) db: ChalkDatabase,
}
Expand description
A loaded and parsed program.
Fields§
§text: String
§db: ChalkDatabase
Implementations§
source§impl LoadedProgram
impl LoadedProgram
sourcepub(crate) fn new(
text: String,
solver_choice: SolverChoice
) -> Result<LoadedProgram, Box<dyn Error>>
pub(crate) fn new( text: String, solver_choice: SolverChoice ) -> Result<LoadedProgram, Box<dyn Error>>
Creates a new Program struct, given a .chalk
file as a String and
a SolverChoice
.
Auto Trait Implementations§
impl RefUnwindSafe for LoadedProgram
impl !Send for LoadedProgram
impl !Sync for LoadedProgram
impl Unpin for LoadedProgram
impl UnwindSafe for LoadedProgram
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.