Pegjs: बिना किसी क्रिया के किसी नियम में किसी विशिष्ट व्यंजक का मिलान परिणाम लौटाने दें

को निर्मित 23 मई 2016 · 10टिप्पणियाँ · स्रोत: pegjs/pegjs

एक नियम में या एक कोष्ठक उप-नियम के अंदर गैर-टर्मिनलों में से किसी एक से मान वापस करने की आवश्यकता होना बहुत आम है। उदाहरण के लिए:

varDecl = type:type id:ID init:( EQ e:expr {return e} )?
                { return scopedAST('VARDECL', {type, id, init}) }

इस मामले में, मुझे भाषा में एक वैकल्पिक वाक्यांश के लिए expr को e के रूप में init कोष्ठक स्तर के अंदर लेबल करने की आवश्यकता है। मुझे दिए गए मूल्य के हिस्से के रूप में "शोर शब्द" EQ आवश्यकता नहीं थी।

यदि PEGjs भाषा में उपरोक्त expr जैसे टर्मिनलों को चिह्नित करने के लिए उपयोग किए जाने वाले प्रतीक थे, ताकि वे, और केवल वे, व्याकरण नियम या उप-नियम से लौटाए गए मान हों, तो यह मामला आसान होगा।

ऊपर मेरा उदाहरण फिर से लिखने के लिए:

varDecl = type:type id:ID init:( EQ ^expr )?
                { return scopedAST('VARDECL', {type, id, init}) }

नोट के उपयोग ^ चिह्नित करने के लिए expr अंदर मूल्य init नामित करने के लिए क्या करने के लिए बाध्य है parenthesized वैकल्पिक वाक्यांश उप नियम init । यह इस उदाहरण में दिखाए गए कोष्ठक उप-नियम के साथ और बिना कई स्थितियों को सरल करता है।

इतना अद्भुत सरल, सुरुचिपूर्ण और शक्तिशाली उपकरण बनाने के लिए धन्यवाद। मुझे पीईजीजे पसंद है! :मुस्कुराओ:

feature

स्रोत

alanmimms

👍3

सभी 10 टिप्पणियाँ

उस विचार को प्यार करो! ^ भी बहुत सहज ज्ञान युक्त है।

यह गैर-नेस्टेड नियमों पर भी काम कर सकता है:

WhiteSpacedIdentifier = WhiteSpace? identifier:Identifier WhiteSpace {return identifier;}
// becomes
WhiteSpacedIdentifier = WhiteSpace? ^Identifier WhiteSpace?

opatut 25 मई 2016

👍1

बहुत पठनीय! संभवतः, एकाधिक ^ का उपयोग भी काम करेगा, जैसे कि:

a = ^b  c  ^d  e

[b, d] वापस करेंगे? समझ में आने लगता है।

इसी तरह, यह समझ में आता है कि यदि नामित कैप्चर के साथ मिलाया जाता है, तो ^ नियमों की अनदेखी की जाती है, इसलिए

x = a ^b foo:c { return foo; }

सी ही लौटेंगे।

grrrwaaa 5 जुल॰ 2016

ओह, वह गुणक विचार उत्कृष्ट है। नामित कैप्चर के साथ मिश्रण होना चाहिए
एक गलती।

मंगल, 5 जुलाई 2016, 01:07 ग्राहम वेकफील्ड नोटिफिकेशन @github.com . पर
लिखा था:

बहुत पठनीय! संभवतः, एकाधिक ^ का उपयोग भी काम करेगा, जैसे कि:
ए = ^बीसी ^डी
वापस आ जाएगा [बी, डी]? समझ में आने लगता है।
इसी तरह, यह समझ में आता है कि अगर नामित कैप्चर के साथ मिलाया जाए, तो ^
नियमों की अनदेखी :
एक्स = ए ^ बी फू: सी {रिटर्न फू; }
-
आप इसे प्राप्त कर रहे हैं क्योंकि आपने सूत्र को लिखा है।
इस ईमेल का सीधे उत्तर दें, इसे GitHub पर देखें
https://github.com/pegjs/pegjs/issues/427#issuecomment -230413015, या म्यूट करें
सूत्र
https://github.com/notifications/unsubscribe/ABC26k8v0DIzuWUlkoDZGm2ep10Y5bcMks5qShDAgaJpZM4IkuA9
.

alanmimms 5 जुल॰ 2016

मैं पूरी तरह से सहमत हूं कि वर्णित पैटर्न काफी सामान्य है। बिना किसी क्रिया के इसे व्यक्त करने का तरीका समझ में आता है।

मैं प्रस्तावित समाधान ( ^ ऑपरेटर) के बारे में इतना निश्चित नहीं हूं। एक विशेष चरित्र का उपयोग करना जिसका अर्थ तुरंत स्पष्ट नहीं होता है, हमेशा समस्याग्रस्त होता है और सीखने की अवस्था में जोड़ता है। यह भी संभव है कि किसी अन्य उद्देश्य के लिए चरित्र का बेहतर इस्तेमाल किया जाएगा। अंतिम लेकिन कम से कम, मुझे उन चीजों को डालने का विचार पसंद नहीं है जो सीधे अभिव्यक्ति में पार्सिंग को प्रभावित नहीं करते हैं। कोई तर्क दे सकता है कि इसका एक उदाहरण पहले से ही है - $ ऑपरेटर - और मैं सहमत हूं। लेकिन मुझे यकीन नहीं है कि $ का जोड़ एक (छोटी) गलती नहीं थी। अगर ऐसा है, तो मैं इसे दोबारा बनाने से बचना चाहूंगा।

मैं इस बारे में 1.0.0 के बाद और गहराई से सोचूंगा।

dmajda 31 जुल॰ 2016

👍1

विचार के लिए कुछ और भोजन: चूंकि ^ और लेबल वाले भाव टकराते हैं ( @grrrwaaa ^ अनदेखा करने का सुझाव देते हैं), परिणाम को चिह्नित करने के बजाय, कोई _ignored_ अभिव्यक्तियों को चिह्नित कर सकता है, उदाहरण के लिए (वाक्यविन्यास सुझाव!) एक खाली लेबल प्रदान करके:

WhiteSpacedIdentifier = WhiteSpace? identifier:Identifier WhiteSpace {return identifier;}
// becomes
WhiteSpacedIdentifier = :WhiteSpace? Identifier :WhiteSpace?

वहां, कोई नया सिंटैक्स नहीं है (हमारे पास पहले से ही : ), केवल शब्दार्थ पर थोड़ा सा विस्तार:

खाली लेबल की अनुमति दें (इन "अनाम" अभिव्यक्तियों को कॉल करें?)
यदि केवल एक गैर-अनाम कैप्चर मौजूद है, तो अभिव्यक्ति मिलानों की एक सरणी उत्पन्न न करें, इसके बजाय एकमात्र मिलान लौटाएं

opatut 1 अग॰ 2016

उस स्थिति में अधिक संगत उन भावों को खाली "लेबल" के साथ चिह्नित करेगा जिन्हें परिणामस्वरूप वापस करने की आवश्यकता होगी। यह, वैसे, मौजूदा शब्दार्थ को तोड़ने के लिए नहीं: लेबल मौजूद है, लेकिन यह अनाम है; जैसा कि परिणाम तक पहुंच के लिए लेबल पेश किए जाते हैं, यह काफी तार्किक है कि अनाम लेबल स्वचालित रूप से परिणाम बन जाते हैं। स्वचालित और ठोस लेबलों के एक साथ अस्तित्व को प्रतिबंधित किया जाएगा। यदि केवल एक स्वचालित लेबल मौजूद है, तो एकल परिणाम, लेकिन एक तत्व के साथ एक सरणी नहीं लौटाया जाना चाहिए क्योंकि इस तरह के व्यवहार की अधिक मांग है।

Mingun 1 अग॰ 2016

👍1

@ मिंगुन

क्यों न सिर्फ कोई लेबल लौटाएं?
start = "{" :expr "}" // return expr
start = "{" label:expr "}" // return label
मुझे लगता है कि यह समझ में आता है कि यदि आप कुछ "लेबल" करते हैं तो आप इसके साथ कुछ करना चाहते हैं (उदाहरण के लिए इसे वापस करें)।

दूसरी ओर, start = ex:expr :expr जैसे नियमों में त्रुटि क्यों होनी चाहिए?
शायद इसे जावास्क्रिप्ट के कार्यों के तर्क चर के समान कुछ करना चाहिए? उदाहरण के लिए start = ex:expr :expr को [ex, expr] वापस करना चाहिए। जब आपके पास कोई क्रिया होती है, तो लेबल किया जाना चाहिए और arguments चर ( start = ex:expr :expr { return [ex, arguments[0], ex] } )

@alanmimms मुझे यह विचार पसंद है। हमें केवल साधारण मान वापस करने के लिए एक नाम (एक चर/लेबल) बनाने की आवश्यकता नहीं है।
मुझे लगता है कि अनाम लेबल ( :expr ) ^expr से बेहतर होगा

nedzadarek 30 जन॰ 2017

क्यों न सिर्फ कोई लेबल लौटाएं?

@nedzadarek क्योंकि यदि आप अभिव्यक्ति को एक नाम देते हैं तो यह अधिक संभावना है कि आप इसे कुछ तुच्छ अभिव्यक्ति में उपयोग नहीं करेंगे। कम से कम, नाम आपके लिए महत्वपूर्ण है, अन्यथा आप इसे सही मायने में नहीं देते? साथ ही, नामित और अनाम लेबलों को मिलाना सचेत कार्रवाई की तुलना में गलती होने की अधिक संभावना है, इसलिए यदि इसे प्रतिबंधित किया जाएगा तो यह अधिक सुरक्षित होगा। यदि आप एक नाम देते हैं तो दूसरा क्यों नहीं देते?

दुर्भाग्य से, यह पहचानना आवश्यक है कि स्वचालित लेबल उस रूप में दिखते हैं जो वे @opatut द्वारा पेश किए

start = a :b;// `a` - it is rule reference or label?
a = .;
b = .;

तो, इस उद्देश्य के लिए एक और चरित्र का चयन करने की जरूरत है। इस समय एक विकल्प है: ~ , (backslash) , @ , # , % , ^ , - , | , \ और , ।

एक अन्य समाधान - कुछ छद्म क्रियाओं का परिचय दें - वापसी के लिए सरल कार्यों के निर्माण के लिए एक शॉर्टकट, उदाहरण के लिए, {=>[]} का अर्थ हो सकता है _"अनुक्रम से लेबल किए गए परिणाम एकत्र करें और उन्हें सरणी में वापस करने के लिए"_ , और {=>{}} - वही, लेकिन किसी वस्तु की वापसी के लिए, लेबल के नाम के बराबर कुंजियों के साथ। लेकिन इस व्यवहार के कार्यान्वयन के लिए व्याकरण के विस्तार की आवश्यकता नहीं होती है और इसे प्लग-इन द्वारा काफी महसूस किया जा सकता है। मैं यह भी कहूंगा कि प्लग-इन द्वारा ऐसा कार्यान्वयन करना अधिक बेहतर है:

start1 = a:'a' b c d:. {=>[]};// returns ['a', <d value>]
start2 = a:'a' b c d:. {=>{}};// returns { a: 'a', d: <d value> }

Mingun 31 जन॰ 2017

@ मिंगुन

क्योंकि यदि आप अभिव्यक्ति को एक नाम देते हैं तो यह अधिक संभावना है कि आप इसे किसी तुच्छ अभिव्यक्ति में उपयोग नहीं करेंगे। कम से कम, नाम आपके लिए महत्वपूर्ण है, अन्यथा आप इसे सही मायने में नहीं देते?

हां, नाम महत्वपूर्ण है => मैं इसका उपयोग करना चाहता हूं => मैं इसे वापस करना चाहता हूं।
गैर-तुच्छ अभिव्यक्तियों में क्या समस्या है?

दुर्भाग्य से, यह पहचानना आवश्यक है कि स्वचालित लेबल उस रूप में दिखते हैं जो वे @opatut द्वारा पेश किए

हां।
मुझे लगता है कि ::expression भी भ्रमित कर रहा है? @dmajda

nedzadarek 1 फ़र॰ 2017

#235 . के डुप्लीकेट के रूप में बंद

संपादित करें: # 235 पर ओपी की टिप्पणी में जोड़ा गया नोट जो इस मुद्दे का संदर्भ देता है

futagoza 22 जन॰ 2018

क्या यह पृष्ठ उपयोगी था?

0 / 5 - 0 रेटिंग्स

Pegjs: बिना किसी क्रिया के किसी नियम में किसी विशिष्ट व्यंजक का मिलान परिणाम लौटाने दें

सभी 10 टिप्पणियाँ

संबंधित मुद्दों