Commit eef19438 authored by Jeff Smits's avatar Jeff Smits

cargo fmt

parent 5745a95f
......@@ -26,7 +26,7 @@ impl HashTableState {
}
}
pub fn table_hashtable<'d, 'f : 'd>(
pub fn table_hashtable<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -37,7 +37,7 @@ pub fn table_hashtable<'d, 'f : 'd>(
)))
}
pub fn dynamic_rules_hashtable<'d, 'f : 'd>(
pub fn dynamic_rules_hashtable<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -55,7 +55,7 @@ pub fn dynamic_rules_hashtable<'d, 'f : 'd>(
)
}
pub fn hashtable_create<'d, 'f : 'd>(
pub fn hashtable_create<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -82,7 +82,7 @@ pub fn hashtable_create<'d, 'f : 'd>(
}
}
pub fn hashtable_reset<'d, 'f : 'd>(
pub fn hashtable_reset<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -108,7 +108,7 @@ pub fn hashtable_reset<'d, 'f : 'd>(
Ok(current)
}
pub fn hashtable_destroy<'d, 'f : 'd>(
pub fn hashtable_destroy<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -117,7 +117,7 @@ pub fn hashtable_destroy<'d, 'f : 'd>(
hashtable_reset(context, sargs, targs, current)
}
pub fn hashtable_put<'d, 'f : 'd>(
pub fn hashtable_put<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -145,7 +145,7 @@ pub fn hashtable_put<'d, 'f : 'd>(
Ok(targs[0].clone())
}
pub fn hashtable_remove<'d, 'f : 'd>(
pub fn hashtable_remove<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -171,7 +171,7 @@ pub fn hashtable_remove<'d, 'f : 'd>(
Ok(targs[0].clone())
}
pub fn hashtable_get<'d, 'f : 'd>(
pub fn hashtable_get<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -199,7 +199,7 @@ pub fn hashtable_get<'d, 'f : 'd>(
Ok(result)
}
pub fn hashtable_keys<'d, 'f : 'd>(
pub fn hashtable_keys<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -225,7 +225,7 @@ pub fn hashtable_keys<'d, 'f : 'd>(
Ok(result)
}
pub fn table_fold<'d, 'f : 'd>(
pub fn table_fold<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -263,7 +263,7 @@ pub fn table_fold<'d, 'f : 'd>(
Ok(current)
}
pub fn table_keys_fold<'d, 'f : 'd>(
pub fn table_keys_fold<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -295,7 +295,7 @@ pub fn table_keys_fold<'d, 'f : 'd>(
Ok(current)
}
pub fn table_values_fold<'d, 'f : 'd>(
pub fn table_values_fold<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
......@@ -11,7 +11,7 @@ use std::cell::RefMut;
use std::rc::Rc;
use std::borrow::Borrow;
pub fn indexedSet_create<'d, 'f : 'd>(
pub fn indexedSet_create<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -37,7 +37,7 @@ pub fn indexedSet_create<'d, 'f : 'd>(
}
}
pub fn indexedSet_reset<'d, 'f : 'd>(
pub fn indexedSet_reset<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -62,7 +62,7 @@ pub fn indexedSet_reset<'d, 'f : 'd>(
Ok(current)
}
pub fn indexedSet_destroy<'d, 'f : 'd>(
pub fn indexedSet_destroy<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -71,7 +71,7 @@ pub fn indexedSet_destroy<'d, 'f : 'd>(
indexedSet_reset(context, sargs, targs, current)
}
pub fn indexedSet_put<'d, 'f : 'd>(
pub fn indexedSet_put<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -107,7 +107,7 @@ pub fn indexedSet_put<'d, 'f : 'd>(
}
}
pub fn indexedSet_remove<'d, 'f : 'd>(
pub fn indexedSet_remove<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -131,7 +131,7 @@ pub fn indexedSet_remove<'d, 'f : 'd>(
Ok(targs[0].clone())
}
pub fn indexedSet_getIndex<'d, 'f : 'd>(
pub fn indexedSet_getIndex<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -159,7 +159,7 @@ pub fn indexedSet_getIndex<'d, 'f : 'd>(
// TODO: libstratego-lib uses a primitive SSL_indexedSet_getElem, which does not exist in the Java implementation!
pub fn indexedSet_elements<'d, 'f : 'd>(
pub fn indexedSet_elements<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
......@@ -5,7 +5,7 @@ use preprocess::StrategyDef;
use aterm::{ATermFactory as ATF, ATerm as A};
pub fn is_int<'d, 'f : 'd>(
pub fn is_int<'d, 'f: 'd>(
_context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -21,7 +21,7 @@ pub fn is_int<'d, 'f : 'd>(
)
}
pub fn int<'d, 'f : 'd>(
pub fn int<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -41,7 +41,7 @@ pub fn int<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn iori<'d, 'f : 'd>(
pub fn iori<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -57,7 +57,7 @@ pub fn iori<'d, 'f : 'd>(
Ok(context.factory.int(i1 | i2))
}
pub fn xori<'d, 'f : 'd>(
pub fn xori<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -73,7 +73,7 @@ pub fn xori<'d, 'f : 'd>(
Ok(context.factory.int(i1 ^ i2))
}
pub fn andi<'d, 'f : 'd>(
pub fn andi<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -89,7 +89,7 @@ pub fn andi<'d, 'f : 'd>(
Ok(context.factory.int(i1 & i2))
}
pub fn shli<'d, 'f : 'd>(
pub fn shli<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -105,7 +105,7 @@ pub fn shli<'d, 'f : 'd>(
Ok(context.factory.int(i1 << i2))
}
pub fn shri<'d, 'f : 'd>(
pub fn shri<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -121,7 +121,7 @@ pub fn shri<'d, 'f : 'd>(
Ok(context.factory.int(i1 >> i2))
}
pub fn addi<'d, 'f : 'd>(
pub fn addi<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -137,7 +137,7 @@ pub fn addi<'d, 'f : 'd>(
Ok(context.factory.int(i1 + i2))
}
pub fn divi<'d, 'f : 'd>(
pub fn divi<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -153,7 +153,7 @@ pub fn divi<'d, 'f : 'd>(
Ok(context.factory.int(i1 / i2))
}
pub fn gti<'d, 'f : 'd>(
pub fn gti<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -173,7 +173,7 @@ pub fn gti<'d, 'f : 'd>(
}
}
pub fn muli<'d, 'f : 'd>(
pub fn muli<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -189,7 +189,7 @@ pub fn muli<'d, 'f : 'd>(
Ok(context.factory.int(i1 * i2))
}
pub fn modi<'d, 'f : 'd>(
pub fn modi<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -205,7 +205,7 @@ pub fn modi<'d, 'f : 'd>(
Ok(context.factory.int(i1 % i2))
}
pub fn subti<'d, 'f : 'd>(
pub fn subti<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -221,7 +221,7 @@ pub fn subti<'d, 'f : 'd>(
Ok(context.factory.int(i1 - i2))
}
pub fn int_to_string<'d, 'f : 'd>(
pub fn int_to_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -239,7 +239,7 @@ pub fn int_to_string<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn string_to_int<'d, 'f : 'd>(
pub fn string_to_int<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -257,7 +257,7 @@ pub fn string_to_int<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn rand<'d, 'f : 'd>(
pub fn rand<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
......@@ -7,7 +7,7 @@ use interpreter::eval_sdef;
use aterm::ATermFactory as ATF;
use aterm::ATerm;
pub fn get_list_length<'d, 'f : 'd>(
pub fn get_list_length<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -23,7 +23,7 @@ pub fn get_list_length<'d, 'f : 'd>(
Ok(context.factory.int(list.len() as i32))
}
pub fn list_loop<'d, 'f : 'd>(
pub fn list_loop<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -45,7 +45,7 @@ pub fn list_loop<'d, 'f : 'd>(
Ok(current)
}
pub fn list_fold<'d, 'f : 'd>(
pub fn list_fold<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
......@@ -5,7 +5,7 @@ use preprocess::StrategyDef;
use aterm::{ATermFactory as ATF, ATerm as A};
pub fn is_real<'d, 'f : 'd>(
pub fn is_real<'d, 'f: 'd>(
_context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -21,7 +21,7 @@ pub fn is_real<'d, 'f : 'd>(
)
}
pub fn real<'d, 'f : 'd>(
pub fn real<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -41,7 +41,7 @@ pub fn real<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn addr<'d, 'f : 'd>(
pub fn addr<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -57,7 +57,7 @@ pub fn addr<'d, 'f : 'd>(
Ok(context.factory.real(r1 + r2))
}
pub fn divr<'d, 'f : 'd>(
pub fn divr<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -73,7 +73,7 @@ pub fn divr<'d, 'f : 'd>(
Ok(context.factory.real(r1 / r2))
}
pub fn gtr<'d, 'f : 'd>(
pub fn gtr<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -93,7 +93,7 @@ pub fn gtr<'d, 'f : 'd>(
}
}
pub fn mulr<'d, 'f : 'd>(
pub fn mulr<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -109,7 +109,7 @@ pub fn mulr<'d, 'f : 'd>(
Ok(context.factory.real(r1 * r2))
}
pub fn modr<'d, 'f : 'd>(
pub fn modr<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -125,7 +125,7 @@ pub fn modr<'d, 'f : 'd>(
Ok(context.factory.real(r1 % r2))
}
pub fn subtr<'d, 'f : 'd>(
pub fn subtr<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -141,7 +141,7 @@ pub fn subtr<'d, 'f : 'd>(
Ok(context.factory.real(r1 - r2))
}
pub fn real_to_string<'d, 'f : 'd>(
pub fn real_to_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -159,7 +159,7 @@ pub fn real_to_string<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn real_to_string_precision<'d, 'f : 'd>(
pub fn real_to_string_precision<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -184,7 +184,7 @@ pub fn real_to_string_precision<'d, 'f : 'd>(
}
}
pub fn string_to_real<'d, 'f : 'd>(
pub fn string_to_real<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -202,7 +202,7 @@ pub fn string_to_real<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn cos<'d, 'f : 'd>(
pub fn cos<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -219,7 +219,7 @@ pub fn cos<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn sin<'d, 'f : 'd>(
pub fn sin<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -236,7 +236,7 @@ pub fn sin<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn atan2<'d, 'f : 'd>(
pub fn atan2<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -252,7 +252,7 @@ pub fn atan2<'d, 'f : 'd>(
Ok(context.factory.real(r1.atan2(r2)))
}
pub fn sqrt<'d, 'f : 'd>(
pub fn sqrt<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
......@@ -5,7 +5,7 @@ use preprocess::StrategyDef;
use aterm::ATermFactory as ATF;
pub fn stacktrace_get_all_frame_names<'d, 'f : 'd>(
pub fn stacktrace_get_all_frame_names<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
......@@ -32,7 +32,7 @@ impl StringState {
}
}
pub fn explode_string<'d, 'f : 'd>(
pub fn explode_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -49,7 +49,7 @@ pub fn explode_string<'d, 'f : 'd>(
)))
}
pub fn is_string<'d, 'f : 'd>(
pub fn is_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -65,7 +65,7 @@ pub fn is_string<'d, 'f : 'd>(
)
}
pub fn strcat<'d, 'f : 'd>(
pub fn strcat<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -81,7 +81,7 @@ pub fn strcat<'d, 'f : 'd>(
Ok(context.factory.string([s1, s2].concat()))
}
pub fn implode_string<'d, 'f : 'd>(
pub fn implode_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -105,7 +105,7 @@ pub fn implode_string<'d, 'f : 'd>(
})
}
pub fn strlen<'d, 'f : 'd>(
pub fn strlen<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -122,7 +122,7 @@ pub fn strlen<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn concat_strings<'d, 'f : 'd>(
pub fn concat_strings<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -140,7 +140,7 @@ pub fn concat_strings<'d, 'f : 'd>(
Ok(context.factory.string(strings.concat()))
}
pub fn write_term_to_string<'d, 'f : 'd>(
pub fn write_term_to_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -154,7 +154,7 @@ pub fn write_term_to_string<'d, 'f : 'd>(
Ok(context.factory.string(targs[0].to_ascii_string()?))
}
pub fn read_term_from_string<'d, 'f : 'd>(
pub fn read_term_from_string<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -182,7 +182,7 @@ pub fn read_term_from_string<'d, 'f : 'd>(
.ok_or(Error::StrategyFailed)
}
pub fn new<'d, 'f : 'd>(
pub fn new<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
_sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -208,7 +208,7 @@ pub fn new<'d, 'f : 'd>(
)))
}
pub fn newname<'d, 'f : 'd>(
pub fn newname<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
This diff is collapsed.
......@@ -7,7 +7,7 @@ use interpreter::eval_sdef;
use aterm::{Term, ATermFactory as ATF, ATerm as A};
use aterm::print::ATermWrite;
pub fn get_constructor<'d, 'f : 'd>(
pub fn get_constructor<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -36,7 +36,7 @@ pub fn get_constructor<'d, 'f : 'd>(
}
}
pub fn mkterm<'d, 'f : 'd>(
pub fn mkterm<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -97,7 +97,7 @@ pub fn mkterm<'d, 'f : 'd>(
})
}
pub fn get_arguments<'d, 'f : 'd>(
pub fn get_arguments<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -128,7 +128,7 @@ pub fn get_arguments<'d, 'f : 'd>(
// TODO: Handle Stratego Placeholder
}
pub fn explode_term<'d, 'f : 'd>(
pub fn explode_term<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -139,7 +139,7 @@ pub fn explode_term<'d, 'f : 'd>(
Ok(context.factory.tuple(vec![cons, args]))
}
pub fn get_appl_arguments_map<'d, 'f : 'd>(
pub fn get_appl_arguments_map<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -159,7 +159,7 @@ pub fn get_appl_arguments_map<'d, 'f : 'd>(
Ok(context.factory.list(result))
}
pub fn address<'d, 'f : 'd>(
pub fn address<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -178,7 +178,7 @@ pub fn address<'d, 'f : 'd>(
Ok(context.factory.int(hasher.finish() as i32))
}
pub fn checksum<'d, 'f : 'd>(
pub fn checksum<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -197,7 +197,7 @@ pub fn checksum<'d, 'f : 'd>(
Ok(context.factory.string(hasher.finish().to_string()))
}
pub fn isPlaceholder<'d, 'f : 'd>(
pub fn isPlaceholder<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -207,7 +207,7 @@ pub fn isPlaceholder<'d, 'f : 'd>(
unimplemented!();
}
pub fn makePlaceholder<'d, 'f : 'd>(
pub fn makePlaceholder<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -217,7 +217,7 @@ pub fn makePlaceholder<'d, 'f : 'd>(
unimplemented!();
}
pub fn getPlaceholder<'d, 'f : 'd>(
pub fn getPlaceholder<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......@@ -227,7 +227,7 @@ pub fn getPlaceholder<'d, 'f : 'd>(
unimplemented!();
}
pub fn preserve_annotations_attachments<'d, 'f : 'd>(
pub fn preserve_annotations_attachments<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
targs: Vec<ATermRef>,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment