def testRepl3Sub(): # test zur ueberleitung auf ar_codeListParameters te.checkComplainAndAdjustExpected( 0) codeList= codeListMake( codeListConfigMake(), codeListParametersMake( nil)) te.test( codeListCheck( codeList)) te.test( codeListConfigCheck( codeListGetConfig( codeList))) te.test( codeListParametersCheck( codeListGetParameters( codeList))) codeList= codeListMake( codeListConfigMake(), codeListParametersMake( ConsSimple( true, nil))) te.test( codeListCheck( codeList)) te.test( codeListConfigCheck( codeListGetConfig( codeList))) codeListParameters= codeListGetParameters( codeList) te.test( codeListParametersCheck( codeListParameters)) te.test( id( true) == id( codeListGetParameterValues( codeList).car())) te.test( id( true) == id( codeListGetParameterValuesCdrContainer( codeList).cdr().car())) te.test( id( true) == id( codeListParametersGetParameterValues( codeListParameters).car())) te.test( id( true) == id( codeListGetParameterValuesCdrContainer2( codeList).cdr().cdr().car())) te.checkComplainAndAdjustExpected( 10)
def __init__( self): self.debug= False selfInterpreter= self self.readbuf= ConsSimple( nil, nil) self.macroBuf= nil self.env_globals= Environment() env_locals= self.env_globals.newChild() self.env_quotationMode_globals= Environment() env_quotationMode_locals= self.env_quotationMode_globals.newChild() codeListConfig= codeListConfigMake( env_locals, False, env_quotationMode_locals) # 27f019a4b85c45ec9dbab2a59306eccc self.codeList= codeListMake( codeListConfig, codeListParametersMake( nil)) # ehemals 76ff812ddb0f47f5be9ca34925a4a3b6 del codeListConfig codeListGetParameters( self.codeList).cdr( ConsSimple( Symbol( 'progn-root'), nil)) self.codeListCurrentEvalTokenList= codeListGetParameterValuesCdrContainer2( self.codeList).cdr() self.codeListParent2EvalToken= nil self.codeCurrentLeafList= ConsSimple( self.codeList, nil) # 2bb546ca3ffd48bc851d17494f5c286f codeListEnsure( self.codeList) assert( ar_codeListConfig==self.getCurrentCodeListConfig().car()) self.codeLeafBackTree= ConsSimple( self.codeCurrentLeafList, nil) # 2bb546ca3ffd48bc851d17494f5c286f self.codeLevel= 0 self.essentials_macro_function= Essentials() #for i in ( pl_q1, pl_q2, pl_ql, pl_pyprint, pl_pyprintconses, pl_pyprintconsesRest, pl_pyprintStack, pl_eval, pl_qswap2): # i.setEssentials( self.essentials_macro_function) self.interpreterSymbolTable= InterpreterSymbolTable( self) ist= self.interpreterSymbolTable for k in 'pyprint pyprintconses pyprintconsesRest pyprintStack pyprintStack2 pyprintStackShort'.split(): ist.htInterpreterSymbolTableNames[ k].setEssentials( self.essentials_macro_function) del k for k in ist.htInterpreterSymbolTable: v= ist.htInterpreterSymbolTable[ k] self.env_globals.set( k, v) del k, v del ist
def tmp0( rest): # c3ee5239baaf4484a61bd525f589ef76 return codeListMake( codeListConfigMake( env_locals), codeListParametersMake( rest))
def evalStep( self, rod): if False: # 8337c49584d44686be0bc780cf310dfc pass elif '(' == rod: evol= '(' elif ')' == rod: codeList= self.codeListCurrentEvalTokenList.cdr().car() codeListEnsure( codeList) codeListTmp= codeListGetParameterValues( codeList) executeObject= codeListTmp.car() executeParameters= codeListParametersMake( codeListTmp.cdr()) if id( ar_codeList)== id( executeObject): # baustelle1 : harte fehlerausgabe print "self.codeListCurrentEvalTokenList ", ConsRepr( self.codeListCurrentEvalTokenList).repr_wrapped() raise Exception( "") del codeListTmp evol= ')' if not self.quotationModeIsActivated(): codeList= self.codeCurrentLeafList.car() assert( id( ar_codeList)== id( codeList.car())) codeListConfig= codeList.cdr().car() assert( id( ar_codeListConfig)== id( codeListConfig.car())) del codeListConfig del codeList env_locals= self.getEnvLocals() if False: # 34c428c5375b49df9b919c610a5a9ce6 pass elif isinstance( executeObject, Macro): executeObject.setEnvironment( env_locals) executeObject.setParameters( executeParameters) execote= executeObject.execute() cs= ConsSimple def tmp0( rest): # c3ee5239baaf4484a61bd525f589ef76 return codeListMake( codeListConfigMake( env_locals), codeListParametersMake( rest)) assert( id( ar_retValueFromMacro) == id( execote.car())) # baustelle: ggf. auch ar_retListFromMacro, loesung von 8357c3268e594c2f92afaa3a3af12afb execote= execote.cdr() self.macroBufFeed_v2( tmp0( consesMake( Symbol( 'eval1'), execote))) elif isinstance( executeObject, Quotation): executeObject.setEnvironment( env_locals) executeObject.setParameters( executeParameters) # 0bea40a420ca4ffa9140051cf20b778f execote= executeObject.execute() self.evalToken( execote, True) elif isinstance( executeObject, Function): executeObject.setEnvironment( env_locals) # 0bea40a420ca4ffa9140051cf20b778f executeObject.setParameters( executeParameters) execote= executeObject.execute() #print ConsRepr( execote).repr_wrapped( None, [ CpctReprCodeListConfigMake, CpctReprConses]) self.evalToken( execote, True) else: print "typ nicht erwartet %s " % executeObject raise Exception( "") # baustelle1 ersetzt erstmal richtige Fehlermeldung else: # self.quotationModeIsActivated() 8191d96c8d9c4e31b9726088c66c7d67 pass # baustelle0: executeObject ist von der semantischen Bedeutung her doppelt belegt else: # not rod in [ '(', ')'] if not self.quotationModeIsActivated(): if noo == rod: # baustelle0 : so nicht - if None==self.codeListCurrentEvalTokenList: raise Exception() self.codeListCurrentEvalTokenList.cdr( nil) else: env_locals= self.getEnvLocals() if env_locals.has_key( rod): got= env_locals.get( rod) # baustelle1: noch zu unterscheiden: Value oder Symbol-Macro / Quotation self.evalToken( ConsSimple( ar_value, got), True) # baustelle1: in Funktion X001 auslagern, auch fuer den Listen-Fall | rod kann im aktuellen fall sogar eine Liste enthalten, die nicht in Einzelteilen an evalToken gefuettert werden muss, 7978cb4bee364b3a8359e2a0f8b7f1f4 if self.currentEvalTokenIsInExecutePosition(): if isinstance( got, Quotation) or isinstance( got, Macro): # 34c428c5375b49df9b919c610a5a9ce6 self.quotationModeActivate() else: print "not found %s" % ConsRepr( rod).repr_wrapped( None, [ CpctReprCodeListConfigMake, CpctReprConses]) raise Exception() else: # self.quotationModeIsActivated() 8191d96c8d9c4e31b9726088c66c7d67 """ behandlung bezueglich uqset1 """ if self.getEnvQuotationModeLocals().has_key( rod): # baustelle0 executeObject fuer diesen Fall umbenennen self.quotationModeDeActivate() env_quotationMode_locals= self.getEnvQuotationModeLocals().get( rod) del rod if self.currentEvalTokenIsInExecutePosition(): self.codeListCurrentEvalTokenList.cdr().car( self.getEnvLocals().get( Symbol( 'progn'))) # ddfdc08cdef344b7bcd44d4e093d12ab, erweiterbar, siehe ideen.txt, 96c8d565e4f946c38838d30756ce5c0d parentCodeListConfig= self.getCurrentCodeListConfig( self.codeCurrentLeafList.cdr().car()) self.quotationModeDeActivate( parentCodeListConfig) else: self.codeListCurrentEvalTokenList.cdr().car( nil) # ddfdc08cdef344b7bcd44d4e093d12ab, erweiterbar, siehe ideen.txt codeListConfig= self.getCurrentCodeListConfig() codeListConfigSet( codeListConfig, s_environment, env_quotationMode_locals) del env_quotationMode_locals del codeListConfig pass #evol= self.codeListCurrentEvalTokenList.cdr().car() evol= None # momentan bedeutungslos return evol
def evalToken( self, rodTyped, evalMode= False): # evalMode=True wird bei '(' nur zu beginn gesetzt, ob evaluiert wird, wird von aussen festgelegt rodType= rodTyped.car() rod= rodTyped.cdr() if id( rodType) not in [ id( ar_value), id( ar_retValue), id( ar_retList)]: print ConsRepr( rodTyped).repr_wrapped( None, [ CpctReprCodeListConfigMake, CpctReprConses]) raise Exception() if False: # 8337c49584d44686be0bc780cf310dfc pass elif '(' == rod: self.codeLevel+=1 codeListConfigCloned= codeListConfigClone( self.getCurrentCodeListConfig()) elem= codeListMake( codeListConfigCloned, codeListParametersMake( nil)) # ehemals 76ff812ddb0f47f5be9ca34925a4a3b6 self.codeCurrentLeafList= ConsSimple( elem, self.codeCurrentLeafList) # 2bb546ca3ffd48bc851d17494f5c286f self.codeLeafBackTree.car( self.codeCurrentLeafList) # 2bb546ca3ffd48bc851d17494f5c286f del codeListConfigCloned if True == evalMode: # 672b8ecafdae4e218d2268543f27119a elemNew= self.codeListCurrentEvalTokenList.cdr() elemNew.car( elem) elemCurrent= self.codeListCurrentEvalTokenList else: elemNew= ConsSimple( elem, nil) elemCurrent= consesDistanceSeek( self.codeListCurrentEvalTokenList) assert( not id( nil) == id( elemCurrent)) elemCurrent.cdr( elemNew) ( elemPrevious, elemCurrent, elemNew, elemParent) = ( elemCurrent, codeListGetParameterValuesCdrContainer( elem) # ehemals 76ff812ddb0f47f5be9ca34925a4a3b6 , None, elemNew) self.codeListParent2EvalToken= ConsSimple( elemPrevious, self.codeListParent2EvalToken) self.codeListCurrentEvalTokenList= codeListGetParameterValuesCdrContainer2( elem) # ist das wirklich notwendig? zumindest liefert der Check keinen Fehler (also ist es wenigstens korrekt) elif ')' == rod: self.codeLevel-=1 if nil == self.codeListParent2EvalToken: raise Exception( 'kann keine klammer mehr schliessen') elemParent2= self.codeListParent2EvalToken.car() self.codeListParent2EvalToken= self.codeListParent2EvalToken.cdr() ( elemCurrent2, elemParent)= ( elemParent2, None) self.codeListCurrentEvalTokenList= elemCurrent2 self.codeCurrentLeafList= self.codeCurrentLeafList.cdr() # 2bb546ca3ffd48bc851d17494f5c286f baustelle: die und die folgende Zeile sind ohne Testfehler austauschbar, pruefen self.codeLeafBackTree= ConsSimple( self.codeCurrentLeafList, self.codeLeafBackTree) # 2bb546ca3ffd48bc851d17494f5c286f else: # not rod in [ '(', ')'] elem= rod # 59cc177458e34abcb943fd4351d93149 if True == evalMode: # 672b8ecafdae4e218d2268543f27119a elemNew= self.codeListCurrentEvalTokenList # 7171a8bd3cd641babf4ebcca7394f4c6 if id( ar_retList) == id( rodType): # 7978cb4bee364b3a8359e2a0f8b7f1f4 # baustelle0: isinstance( elem, Cons) kann raus, sobald ar_retValue implementiert ist wrappedValues= elem elemNew.cdr( wrappedValues) # 7171a8bd3cd641babf4ebcca7394f4c6, ehemals 36268f550bcf4fb88d25868f8ea663bf hack self.codeListCurrentEvalTokenList= consesDistanceSeek( elemNew, 1, (lambda walker : isinstance( walker, Cons))) # 7171a8bd3cd641babf4ebcca7394f4c6, 80d1ab47171e42ba9bac8c8409b87bee #self.codeListCurrentEvalTokenList= consesDistanceSeek( elemNew, 1) # 7171a8bd3cd641babf4ebcca7394f4c6 elif id( ar_retValue) == id( rodType): # 7978cb4bee364b3a8359e2a0f8b7f1f4 # baustelle0: isinstance( elem, Cons) kann raus, sobald die restlichen ar_ Symbole implementiert sind elemNew.cdr().car( elem) elif id( ar_value) == id( rodType): # 7978cb4bee364b3a8359e2a0f8b7f1f4 # baustelle0: isinstance( elem, Cons) kann raus, sobald die restlichen ar_ Symbole implementiert sind elemNew.cdr().car( elem) else: raise Exception( ConsRepr( rodTyped).repr_wrapped( None, [ CpctReprCodeListConfigMake, CpctReprConses])) else: # False == evalMode elemNew= ConsSimple( elem, nil) elemCurrent= consesDistanceSeek( self.codeListCurrentEvalTokenList) elemCurrent.cdr( elemNew) ( elemPrevious, elemCurrent, elemNew) = ( elemCurrent, elemNew, None) self.codeListCurrentEvalTokenList= elemPrevious # baustelle ggf. wieder rauswerfen return rod
def tmp0( self, rest): # c3ee5239baaf4484a61bd525f589ef76 return codeListMake( codeListConfigMake( self.env), codeListParametersMake( rest))