Searched refs:settings (Results 1 - 25 of 30) sorted by path

12

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage6.py68 assembly.configuration.settings.extend(a.configuration.settings)
H A Dstage7.py112 # Indirect settings we'll accumulate.
115 # Final connections and settings we'll return.
141 insts, conns, alias, settings = infer_all(i.type, i)
163 child_settings.extend(settings)
212 # Accrue any settings we have.
213 for s in (item.configuration.settings if item.configuration is not None
238 instances, connections, aliases, settings = infer_all(assembly)
254 # Replace the settings.
255 assembly.configuration.settings = settings
[all...]
H A Dstage8.py18 whose output it consumes. This parser's purpose is to resolve settings that
37 All settings are resolved.
40 ast_lifted.assembly.configuration.settings)
54 for s in assembly.configuration.settings:
81 referents = [x for x in assembly.configuration.settings
85 # No existing settings for the attribute that our current attribute
128 assembly.configuration.settings = new_settings
H A Dquery.py17 whose output it consumes. This parser's purpose is to resolve settings that
97 ast_lifted.assembly.configuration.settings)
119 for s in assembly.configuration.settings:
151 assembly.configuration.settings = new_settings
H A Dstage3.py309 return Configuration(id, configuration_defn.settings)
314 def _lift_configuration_defn(location, *settings):
315 return Configuration(settings=list(settings), location=location)
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage3.py79 self.assertLen(conf.settings, 1)
80 setting = conf.settings[0]
96 self.assertLen(conf.settings, 1)
97 setting = conf.settings[0]
116 self.assertLen(conf.settings, 1)
117 setting = conf.settings[0]
133 self.assertLen(conf.settings, 1)
134 setting = conf.settings[0]
572 self.assertLen(conf.settings, 1)
573 s = conf.settings[
[all...]
H A Dteststage4.py239 self.assertLen(A.configuration.settings, 1)
240 b_b_str = A.configuration.settings[0]
H A Dteststage8.py89 self.assertLen(assembly.configuration.settings, 2)
91 s1, s2 = assembly.configuration.settings
H A Dteststage10.py86 self.assertLen(assembly.configuration.settings, 1)
87 s = assembly.configuration.settings[0]
195 settings in non-trivial hierarchical specs being potentially duplicated
198 message about duplicate settings of the attribute string_to_append.
290 accessible through the configuration settings.
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_dhcp_d.tex12 \texttt{int pico\_dhcp\_server\_initiate(struct pico\_dhcpd\_settings *settings);}
16 \item \texttt{settings} - a pointer to a struct \texttt{pico\_dhcpd\_settings}, in which the following members matter to the user :
/seL4-camkes-master/
H A Dgriddle29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
241 # CMake lists file, but not an easy settings file.
638 -C "$SOURCE_ROOT/settings.cmake" \
643 # assume we use the project's directory tied to easy-settings.cmake and resolve
650 -C "$PROJECT_DIR/settings.cmake" "$PROJECT_DIR"
652 # This case shouldn't be hit as if $SOURCE_ROOT/easy-settings.cmake doesn't
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py176 for s in self.configuration.settings:
217 def settings(self): member in class:Assembly
218 return self.configuration.settings
298 @ast_property("settings", (list, tuple))
300 child_fields = ('settings',)
302 def __init__(self, name=None, settings=None, location=None):
305 self.settings = list(settings or [])
310 [self.adopt(s) for s in self.settings]
315 self.settings
[all...]
/seL4-camkes-master/projects/lwip/src/apps/http/
H A Dhttp_client.c487 httpc_create_request_string(const httpc_connection_t *settings, const char* server_name, int server_port, const char* uri, argument
490 if (settings->use_proxy) {
507 httpc_init_connection_common(httpc_state_t **connection, const httpc_connection_t *settings, const char* server_name, argument
521 req_len = httpc_create_request_string(settings, server_name, server_port, uri, use_host, NULL, 0);
562 req->pcb = altcp_new(settings->altcp_allocator);
567 req->remote_port = settings->use_proxy ? settings->proxy_port : server_port;
575 req_len2 = httpc_create_request_string(settings, server_name, server_port, uri, use_host,
583 req->conn_settings = settings;
594 httpc_init_connection(httpc_state_t **connection, const httpc_connection_t *settings, cons argument
605 httpc_init_connection_addr(httpc_state_t **connection, const httpc_connection_t *settings, const ip_addr_t* server_addr, u16_t server_port, const char* uri, altcp_recv_fn recv_fn, void* callback_arg) argument
632 httpc_get_file(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings, altcp_recv_fn recv_fn, void* callback_arg, httpc_state_t **connection) argument
677 httpc_get_file_dns(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings, altcp_recv_fn recv_fn, void* callback_arg, httpc_state_t **connection) argument
713 httpc_connection_t settings; member in struct:_httpc_filestate
723 httpc_fs_init(httpc_filestate_t **filestate_out, const char* local_file_name, const httpc_connection_t *settings, void* callback_arg) argument
818 httpc_get_file_to_disk(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings, void* callback_arg, const char* local_file_name, httpc_state_t **connection) argument
870 httpc_get_file_dns_to_disk(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings, void* callback_arg, const char* local_file_name, httpc_state_t **connection) argument
[all...]
/seL4-camkes-master/projects/lwip/src/apps/lwiperf/
H A Dlwiperf.c87 /** This is the Iperf settings struct sent from the client */
126 lwiperf_settings_t settings; member in struct:_lwiperf_state_tcp
289 if (conn->settings.amount & PP_HTONL(0x80000000)) {
293 u32_t time = (u32_t) - (s32_t)lwip_htonl(conn->settings.amount);
302 u32_t amount_bytes = lwip_htonl(conn->settings.amount);
312 /* transmit the settings a first time */
313 txptr = &((u8_t *)&conn->settings)[conn->bytes_transferred];
317 /* transmit the settings a second time */
318 txptr = &((u8_t *)&conn->settings)[conn->bytes_transferred - 24];
324 /* @todo: every x bytes, transmit the settings agai
387 lwiperf_tx_start_impl(const ip_addr_t *remote_ip, u16_t remote_port, lwiperf_settings_t *settings, lwiperf_report_fn report_fn, void *report_arg, lwiperf_state_base_t *related_master_state, lwiperf_state_tcp_t **new_conn) argument
762 lwiperf_settings_t settings; local
[all...]
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/
H A Dhttp_client.h142 err_t httpc_get_file(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings,
144 err_t httpc_get_file_dns(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings,
148 err_t httpc_get_file_to_disk(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings,
150 err_t httpc_get_file_dns_to_disk(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings,
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/
H A Dppp.h317 ppp_settings settings; member in struct:ppp_pcb_s
473 #define ppp_set_auth_required(ppp, boolval) (ppp->settings.auth_required = boolval)
501 #define ppp_set_usepeerdns(ppp, boolval) (ppp->settings.usepeerdns = boolval)
531 #define ppp_set_listen_time(ppp, intval) (ppp->settings.listen_time = intval)
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dauth.c765 if (pcb->settings.auth_required && !(0
789 if (!pcb->settings.null_login
831 eap_authwithpeer(pcb, pcb->settings.user);
837 chap_auth_with_peer(pcb, pcb->settings.user, CHAP_DIGEST(ho->chap_mdtype));
843 upap_authwithpeer(pcb, pcb->settings.user, pcb->settings.passwd);
1010 if (pcb->settings.user && pcb->settings.passwd) {
1011 secretuserlen = (int)strlen(pcb->settings.user);
1012 secretpasswdlen = (int)strlen(pcb->settings
[all...]
H A Dccp.c556 if (pcb->settings.require_mppe) {
558 (pcb->settings.refuse_mppe_40 ? 0 : MPPE_OPT_40)
559 | (pcb->settings.refuse_mppe_128 ? 0 : MPPE_OPT_128);
951 if ((try_.mppe & MPPE_OPT_STATEFUL) && pcb->settings.refuse_mppe_stateful) {
1166 if (pcb->settings.refuse_mppe_stateful) {
H A Dchap-new.c67 { "chap-max-challenge", o_int, &pcb->settings.chap_max_transmits,
69 { "chap-interval", o_int, &pcb->settings.chap_rechallenge_time,
232 } else if (pcb->chap_server.challenge_xmits >= pcb->settings.chap_max_transmits) {
250 TIMEOUT(chap_timeout, arg, pcb->settings.chap_timeout_time);
313 if (pcb->settings.explicit_remote) {
396 if (pcb->settings.chap_rechallenge_time) {
399 pcb->settings.chap_rechallenge_time);
464 if (pcb->settings.explicit_remote || (pcb->settings.remote_name[0] != 0 && rname[0] == 0))
465 strlcpy(rname, pcb->settings
[all...]
H A Deap.c240 if (pcb->settings.eap_req_time > 0)
242 pcb->settings.eap_req_time);
437 pcb->settings.eap_timeout_time = pcb->eap.es_savedtime;
536 if (pcb->settings.eap_timeout_time > 0 &&
537 pcb->settings.eap_timeout_time < 30)
538 pcb->settings.eap_timeout_time = 30;
658 if (pcb->settings.explicit_remote && pcb->remote_name) {
676 if (pcb->settings.eap_max_transmits > 0 &&
677 pcb->eap.es_server.ea_requests >= pcb->settings.eap_max_transmits) {
866 if (pcb->settings
[all...]
H A Dfsm.c83 f->maxnakloops = pcb->settings.fsm_max_nak_loops;
209 f->retransmits = pcb->settings.fsm_max_term_transmits;
225 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
284 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
481 f->retransmits = pcb->settings.fsm_max_conf_req_transmits;
494 f->retransmits = pcb->settings.fsm_max_conf_req_transmits;
598 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
722 f->retransmits = pcb->settings.fsm_max_conf_req_transmits;
761 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
H A Dipcp.c725 wo->req_dns1 = wo->req_dns2 = pcb->settings.usepeerdns; /* Request DNS addresses from the peer */
1780 wo->req_addr && !reject_if_disagree && !pcb->settings.noremoteip) {
1843 if (wo->hisaddr == 0 && !pcb->settings.noremoteip) {
1911 if (ho->hisaddr == 0 && !pcb->settings.noremoteip) {
1933 if (pcb->settings.usepeerdns && (go->dnsaddr[0] || go->dnsaddr[1])) {
1955 || (pcb->settings.auth_required && wo->hisaddr != ho->hisaddr)
H A Dlcp.c466 || ppp_recv_config(pcb, PPP_MRU, (pcb->settings.lax_recv? 0: 0xffffffff),
471 if (pcb->settings.listen_time != 0) {
473 TIMEOUTMS(lcp_delayed_up, f, pcb->settings.listen_time);
660 if (pcb->settings.user && pcb->settings.passwd) {
662 if (pcb->settings.refuse_pap) {
667 if (pcb->settings.refuse_chap) {
671 if (pcb->settings.refuse_mschap) {
674 if (pcb->settings.refuse_mschap_v2) {
681 if (pcb->settings
[all...]
H A Dppp.c221 pcb->settings.refuse_pap = !(authtype & PPPAUTHTYPE_PAP);
224 pcb->settings.refuse_chap = !(authtype & PPPAUTHTYPE_CHAP);
226 pcb->settings.refuse_mschap = !(authtype & PPPAUTHTYPE_MSCHAP);
227 pcb->settings.refuse_mschap_v2 = !(authtype & PPPAUTHTYPE_MSCHAP_V2);
231 pcb->settings.refuse_eap = !(authtype & PPPAUTHTYPE_EAP);
233 pcb->settings.user = user;
234 pcb->settings.passwd = passwd;
242 pcb->settings.require_mppe = 0;
246 pcb->settings.require_mppe = 1;
247 pcb->settings
[all...]
H A Dpppoe.c839 if (!sc->pcb->settings.persist && sc->sc_padi_retried >= PPPOE_DISC_MAXPADI) {

Completed in 159 milliseconds

12