컴파일러와 가상 머신 </a></li><li><a href="/kr/topics/templates2.html" class="sidebar-link">템플릿 언어 </a></li><li><a href="/kr/topics/vm.html" aria-current="page" class="active sidebar-link">컴파일러와 가상 머신 </a><ul class="sidebar-sub-headers"><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#source-code-storage-and-compilation" class="sidebar-link">소스 코드 저장 및 컴파일 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#virtual-machine-structures" class="sidebar-link">가상 머신 구조 </a><ul class="sidebar-sub-headers"><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#vm-structure" class="sidebar-link">VM 구조 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#block-structure" class="sidebar-link">Block 구조 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#objinfo-structure" class="sidebar-link">ObjInfo 구조 </a></li></ul></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#virtual-machine-commands" class="sidebar-link">가상 머신 명령 </a><ul class="sidebar-sub-headers"><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#bytecode-structure" class="sidebar-link">ByteCode 구조 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#command-identifiers" class="sidebar-link">명령 식별자 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#" class="sidebar-link">스택 연산 명령 (#stack-operation-commands)</a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#runtime-structure" class="sidebar-link">Runtime 구조 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#runcode-function" class="sidebar-link">RunCode 함수 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#other-functions-for-operations-with-vm" class="sidebar-link">가상 머신과 관련된 기타 함수들 </a></li></ul></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#compiler" class="sidebar-link">컴파일러 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#lexical-analyzer" class="sidebar-link">어휘 분석기 </a><ul class="sidebar-sub-headers"><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#lextable-lextable-go" class="sidebar-link">lextable/lextable.go </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#lex-go" class="sidebar-link">lex.go </a></li></ul></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#needle-language" class="sidebar-link">Needle 언어 </a><ul class="sidebar-sub-headers"><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#lexemes" class="sidebar-link">렉서 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#types" class="sidebar-link">타입 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#expressions" class="sidebar-link">표현식 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#scope" class="sidebar-link">스코프 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#contract-execution" class="sidebar-link">계약 실행 </a></li><li class="sidebar-sub-header"><a href="/kr/topics/vm.html#backus-naur-form-bnf" class="sidebar-link">Backus-Naur Form (BNF) </a></li></ul></li></ul></li><li><a href="/kr/topics/daemons.html" class="sidebar-link">데몬 </a></li></ul></section></li></ul> </aside> <main class="page"> <div class="theme-default-content content__default"><h1 id="compiler-and-virtual-machine"><a href="#compiler-and-virtual-machine" class="header-anchor">#</a> 컴파일러와 가상 머신 </h1> <ul><li><a href="#source-code-storage-and-compilation">소스 코드 저장 및 컴파일</a></li> <li><a href="#virtual-machine-structures">가상 머신 구조</a> <ul><li><a href="#vm-structure">VM 구조</a></li> <li><a href="#block-structure">Block 구조</a></li> <li><a href="#objinfo-structure">ObjInfo 구조</a> <ul><li><a href="#contractinfo-structure">ContractInfo 구조</a></li> <li><a href="#fieldinfo-structure">FieldInfo 구조</a></li> <li><a href="#funcinfo-structure">FuncInfo 구조</a></li> <li><a href="#funcname-structure">FuncName 구조</a></li> <li><a href="#extfuncinfo-structure">ExtFuncInfo 구조</a></li> <li><a href="#varinfo-structure">VarInfo 구조</a></li> <li><a href="#objextend-value">ObjExtend 값</a></li></ul></li></ul></li> <li><a href="#virtual-machine-commands">가상 머신 명령</a> <ul><li><a href="#bytecode-structure">ByteCode 구조</a></li> <li><a href="#command-identifiers">명령 식별자</a></li> <li><a href="#stack-operation-commands">스택 연산 명령</a></li> <li><a href="#runtime-structure">Runtime 구조</a> <ul><li><a href="#blockstack-structure">blockStack 구조</a></li></ul></li> <li><a href="#runcode-function">RunCode 함수</a></li> <li><a href="#other-functions-for-operations-with-vm">가상 머신과 관련된 기타 함수들</a></li></ul></li> <li><a href="#compiler">컴파일러</a></li> <li><a href="#lexical-analyzer">어휘 분석기</a> <ul><li><a href="#lextable-lextable-go">lextable/lextable.go</a></li> <li><a href="#lex-go">lex.go</a></li></ul></li> <li><a href="#needle-language">Needle 언어</a> <ul><li><a href="#lexemes">렉서</a></li> <li><a href="#types">타입</a></li> <li><a href="#expressions">표현식</a></li> <li><a href="#scope">스코프</a></li> <li><a href="#contract-execution">계약 실행</a></li> <li><a href="#backus-naur-form-bnf">Backus-Naur Form (BNF)</a></li></ul></li></ul> <p>이 섹션에서는 프로그램 컴파일과 Needle 언어의 가상 머신(VM) 내에서의 동작에 대해 다룹니다.</p> <h2 id="source-code-storage-and-compilation"><a href="#source-code-storage-and-compilation" class="header-anchor">#</a> 소스 코드 저장 및 컴파일 </h2> <p>계약과 함수는 Golang로 작성되며, 생태계의 계약 테이블에 저장됩니다.</p> <p>계약이 실행될 때, 해당 계약의 소스 코드는 데이터베이스에서 읽혀서 바이트코드로 컴파일됩니다.</p> <p>계약이 변경될 때, 소스 코드는 업데이트되어 데이터베이스에 저장됩니다. 그리고 소스 코드가 컴파일되어 해당 가상 머신의 바이트코드가 업데이트됩니다.</p> <p>바이트코드는 물리적으로 저장되지 않으며, 프로그램이 다시 실행될 때마다 다시 컴파일됩니다.</p> <p>각 생태계의 계약 테이블에 기술된 전체 소스 코드는 엄격한 순서로 가상 머신으로 컴파일되며, 가상 머신의 상태는 모든 노드에서 동일합니다.</p> <p>계약이 호출될 때, 가상 머신은 어떠한 방식으로도 상태를 변경하지 않습니다. 어떠한 계약의 실행 또는 함수의 호출은 각 외부 호출 시 생성된 별도의 실행 스택에서 발생합니다.</p> <p>각 생태계는 가상 생태계라고 불리는 것을 가질 수 있으며, 이는 블록체인 외부의 테이블과 함께 노드 내에서 사용될 수 있습니다. 이러한 경우, 해당 가상 생태계를 호스트하는 노드는 계약을 컴파일하고 자체 가상 머신을 생성합니다.</p> <h2 id="virtual-machine-structures"><a href="#virtual-machine-structures" class="header-anchor">#</a> 가상 머신 구조 </h2> <h3 id="vm-structure"><a href="#vm-structure" class="header-anchor">#</a> VM 구조 </h3> <p>가상 머신은 다음과 같이 메모리에 구조화되어 있습니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type VM struct { Block ExtCost func(string) int64 FuncCallsDB map[string]struct{} Extern bool ShiftContract int64 logger *log.Entry } </code></pre></div><p>A VM 구조는 다음과 같은 요소들을 가지고 있습니다:</p> <ul><li>Block - [block 구조]를 포함합니다.</li> <li>ExtCost - 외부 Golang 함수를 실행하는 비용을 반환하는 함수입니다.</li> <li>FuncCallsDB - Golang 함수 이름들의 컬렉션입니다. 이 함수는 첫 번째 매개변수로 실행 비용을 반환합니다. 이러한 함수들은 데이터베이스 처리 비용을 계산하기 위해 EXPLAIN을 사용합니다.</li> <li>Extern - 계약이 외부 계약인지를 나타내는 부울 플래그입니다. VM이 생성될 때 true로 설정됩니다. 코드가 컴파일될 때 호출된 계약들은 표시되지 않습니다. 즉, 미래에 결정된 계약 코드를 호출할 수 있게 합니다.</li> <li>ShiftContract - VM에서 첫 번째 계약의 ID입니다.</li> <li>logger - VM 오류 로그 출력입니다.</li></ul> <h3 id="block-structure"><a href="#block-structure" class="header-anchor">#</a> Block 구조 </h3> <p>가상 머신은 <strong>Block 타입</strong> 객체들로 구성된 트리입니다.</p> <p>블록은 일부 바이트코드를 포함하는 독립적인 단위입니다. 간단히 말해, 언어에서 중괄호(<code>{}</code>)로 감싸진 모든 것이 블록입니다.</p> <p>예를 들어, 다음과 같은 코드는 함수를 가진 블록을 생성합니다. 이 블록은 if 문을 포함하는 또 다른 블록을 포함하고 있으며, 이 if 문은 while 문을 포함하는 블록을 포함합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>func my() { if true { while false { ... } } } </code></pre></div><p>블록은 아래와 같은 구조로 메모리에 구성되어 있습니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type Block struct { Objects map[string]*ObjInfo Type int Owner *OwnerInfo Info interface{} Parent *Block Vars []reflect.Type Code ByteCodes Children Blocks } </code></pre></div><p>블록 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Objects</strong> - <a href="#objinfo-structure">ObjInfo</a> 포인터 타입의 내부 객체 맵입니다. 예를 들어, 블록 내에 변수가 있는 경우, 변수의 이름을 통해 해당 변수에 대한 정보를 얻을 수 있습니다.</li> <li><strong>Type</strong> - 블록의 타입입니다. 함수 블록인 경우, 타입은 <strong>ObjFunc</strong>이고, 계약 블록인 경우, 타입은 <strong>ObjContract</strong>입니다.</li> <li><strong>Owner</strong> - <strong>OwnerInfo</strong> 포인터 타입의 구조체입니다. 이 구조체는 컴파일된 계약의 소유자에 대한 정보를 포함하며, 계약 컴파일 시 지정되거나 <strong>contracts</strong> 테이블에서 얻을 수 있습니다.</li> <li><strong>Info</strong> - 블록 타입에 따라 객체에 대한 정보를 포함합니다.</li> <li><strong>Parent</strong> - 부모 블록을 가리키는 포인터입니다.</li> <li><strong>Vars</strong> - 현재 블록 변수들의 타입을 포함하는 배열입니다.</li> <li><strong>Code</strong> - 블록 자체의 바이트코드입니다. 블록으로 제어 권한이 전달될 때 (예: 함수 호출 또는 루프 본문), 이 바이트코드가 실행됩니다.</li> <li><strong>Children</strong> - 함수 중첩, 루프, 조건문 등 하위 블록들을 포함하는 배열입니다.</li></ul> <h3 id="objinfo-structure"><a href="#objinfo-structure" class="header-anchor">#</a> ObjInfo 구조 </h3> <p>ObjInfo 구조체는 내부 객체에 대한 정보를 포함합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type ObjInfo struct { Type int Value interface{} } </code></pre></div><p>ObjInfo 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Type</strong>은 객체의 타입으로, 다음 중 하나의 값을 가집니다: <ul><li><strong>ObjContract</strong> – <a href="#contractinfo-structure">contract</a>;</li> <li><strong>ObjFunc</strong> - 함수;</li> <li><strong>ObjExtFunc</strong> - 외부 Golang 함수;</li> <li><strong>ObjVar</strong> - 변수;</li> <li><strong>ObjExtend</strong> - $name 변수.</li></ul></li> <li><strong>Value</strong> – 각 타입의 구조체를 포함합니다.</li></ul> <h4 id="contractinfo-structure"><a href="#contractinfo-structure" class="header-anchor">#</a> ContractInfo 구조 </h4> <p><strong>ObjContract</strong> 타입을 가리키며, <strong>Value</strong> 필드에는 <strong>ContractInfo</strong> 구조체가 포함됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type ContractInfo struct { ID uint32 Name string Owner *OwnerInfo Used map[string]bool Tx *[]*FieldInfo } </code></pre></div><p>ContractInfo 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>ID</strong> - 계약 ID로, 계약을 호출할 때 블록체인에 표시됩니다.</li> <li><strong>Name</strong> - 계약 이름입니다.</li> <li><strong>Owner</strong> - 계약에 대한 다른 정보입니다.</li> <li><strong>Used</strong> - 호출된 계약 이름들의 맵입니다.</li> <li><strong>Tx</strong> - 계약의 <a href="/kr/topics/script.html#data-section">data section</a> 에 기술된 데이터 배열입니다.</li></ul> <h4 id="fieldinfo-structure"><a href="#fieldinfo-structure" class="header-anchor">#</a> FieldInfo 구조 </h4> <p>FieldInfo 구조는 <strong>ContractInfo</strong> 구조에서 사용되며, 계약의 <a href="/kr/topics/script.html#data-section">data section</a> 에 있는 요소들을 설명합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type FieldInfo struct { Name string Type reflect.Type Original uint32 Tags string } </code></pre></div><p>FieldInfo 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Name</strong> - 필드 이름입니다.</li> <li><strong>Type</strong> - 필드 타입입니다.</li> <li><strong>Original</strong> - 선택적 필드입니다.</li> <li><strong>Tags</strong> - 이 필드에 대한 추가적인 라벨입니다.</li></ul> <h4 id="funcinfo-structure"><a href="#funcinfo-structure" class="header-anchor">#</a> FuncInfo 구조 </h4> <p>ObjFunc 타입을 가리키며, Value 필드에는 FuncInfo 구조체가 포함됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type FuncInfo struct { Params []reflect.Type Results []reflect.Type Names *map[string]FuncName Variadic bool ID uint32 } </code></pre></div><p>FuncInfo 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Params</strong> - 매개변수 타입의 배열입니다.</li> <li><strong>Results</strong> - 반환 타입의 배열입니다.</li> <li><strong>Names</strong> - 테일 함수의 데이터 맵입니다. 예를 들어, <code>DBFind().Columns()</code>과 같은 함수입니다.</li> <li><strong>Variadic</strong> - 함수가 가변 개수의 매개변수를 가질 수 있는 경우 true입니다.</li> <li><strong>ID</strong> - 함수 ID입니다.</li></ul> <h4 id="funcname-structure"><a href="#funcname-structure" class="header-anchor">#</a> FuncName 구조 </h4> <p>FuncName 구조체는 FuncInfo에 사용되며, 테일 함수의 데이터를 설명합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type FuncName struct { Params []reflect.Type Offset []int Variadic bool } </code></pre></div><p>FuncName 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Params</strong> - 매개변수 타입의 배열입니다.</li> <li><strong>Offset</strong> - 이러한 변수들에 대한 오프셋 배열입니다. 사실, 함수 내의 모든 매개변수 값은 점(.)으로 초기화될 수 있습니다.</li> <li><strong>Variadic</strong> - 테일 함수가 가변 개수의 매개변수를 가질 수 있는 경우 true입니다.</li></ul> <h4 id="extfuncinfo-structure"><a href="#extfuncinfo-structure" class="header-anchor">#</a> ExtFuncInfo 구조 </h4> <p>ObjExtFunc 타입을 가리키며, Value 필드에는 ExtFuncInfo 구조체가 포함됩니다. 이는 Golang 함수를 설명하기 위해 사용됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type ExtFuncInfo struct { Name string Params []reflect.Type Results []reflect.Type Auto []string Variadic bool Func interface{} } </code></pre></div><p>ExtFuncInfo 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Name</strong>, <strong>Params</strong>, <strong>Results</strong> 매개변수는 <a href="#funcinfo-structure">FuncInfo</a> 와 동일한 구조를 가지고 있습니다.</li> <li><strong>Auto</strong> - 변수의 배열입니다. 함수로 전달되는 추가적인 매개변수입니다. 예를 들어, SmartContract sc 타입의 변수입니다.</li> <li><strong>Func</strong> - Golang 함수입니다.</li></ul> <h4 id="varinfo-structure"><a href="#varinfo-structure" class="header-anchor">#</a> VarInfo 구조 </h4> <p>ObjVar 타입을 가리키며, Value 필드에는 VarInfo 구조체가 포함됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type VarInfo struct { Obj *ObjInfo Owner *Block } </code></pre></div><p>VarInfo 구조는 다음과 같은 요소들로 구성됩니다:</p> <ul><li><strong>Obj</strong> - 변수의 타입과 값에 대한 정보입니다.</li> <li><strong>Owner</strong> - 소유 블록을 가리키는 포인터입니다.</li></ul> <h4 id="objextend-value"><a href="#objextend-value" class="header-anchor">#</a> ObjExtend 값 </h4> <p>ObjExtend 타입을 가리키며, Value 필드에는 변수 또는 함수의 이름을 포함하는 문자열이 포함됩니다.</p> <h2 id="virtual-machine-commands"><a href="#virtual-machine-commands" class="header-anchor">#</a> 가상 머신 명령 </h2> <h3 id="bytecode-structure"><a href="#bytecode-structure" class="header-anchor">#</a> ByteCode 구조 </h3> <p>바이트코드는 <strong>ByteCode</strong> 타입 구조체의 연속입니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type ByteCode struct { Cmd uint16 Value interface{} } </code></pre></div><p>이 구조체는 다음과 같은 필드들을 가지고 있습니다:</p> <ul><li><strong>Cmd</strong> - 저장 명령의 식별자입니다.</li> <li><strong>Value</strong> - 피연산자(값)를 포함합니다.</li></ul> <p>일반적으로, 명령은 스택의 최상위 요소에 대한 작업을 수행하고 필요한 경우 결과 값을 스택에 기록합니다.</p> <h3 id="command-identifiers"><a href="#command-identifiers" class="header-anchor">#</a> 명령 식별자 </h3> <p>가상 머신 명령의 식별자는 vm/cmds_list.go 파일에서 설명됩니다.</p> <ul><li><strong>cmdPush</strong> - Value 필드의 값을 스택에 넣습니다. 예를 들어, 숫자와 문자열을 스택에 넣습니다.</li> <li><strong>cmdVar</strong> - 변수의 값을 스택에 넣습니다. Value에는 VarInfo 구조체의 포인터와 변수에 대한 정보가 포함됩니다.</li> <li><strong>cmdExtend</strong> - 외부 변수의 값을 스택에 넣습니다. Value에는 변수 이름(달러 기호로 시작)을 포함하는 문자열이 있습니다.</li> <li><strong>cmdCallExtend</strong> - 외부 함수(달러 기호로 시작)를 호출합니다. 함수의 매개변수는 스택에서 가져오고 결과는 스택에 저장됩니다. Value에는 함수 이름(달러 기호로 시작)이 포함됩니다.</li> <li><strong>cmdPushStr</strong> - Value에 있는 문자열을 스택에 넣습니다.</li> <li><strong>cmdCall</strong> - 가상 머신 함수를 호출합니다. Value에는 <strong>ObjInfo</strong> 구조체가 포함됩니다. 이 명령은 <strong>ObjExtFunc</strong> golang 함수와 <strong>ObjFunc</strong> Needle 함수에 적용됩니다. 함수를 호출하는 경우, 매개변수는 스택에서 가져오고 결과 값은 스택에 저장됩니다.</li> <li><strong>cmdCallVari</strong> - <strong>cmdCall</strong> 명령과 유사하며, 가변 개수의 매개변수를 가진 함수를 호출합니다.</li> <li><strong>cmdReturn</strong> - 함수를 종료하는 데 사용됩니다. 반환 값은 스택에 넣으며, Value 필드는 사용되지 않습니다.</li> <li><strong>cmdIf</strong> - Value 필드에 전달된 <strong>block</strong> 구조체의 바이트코드로 제어를 전달합니다. 스택의 최상위 요소가 <em>valueToBool</em> 함수에 의해 호출되고 <code>true</code>가 반환될 때만 제어가 전달됩니다. 그렇지 않은 경우, 다음 명령으로 제어가 전달됩니다.</li> <li><strong>cmdElse</strong> - 이 명령은 <strong>cmdIf</strong>와 동일한 방식으로 작동하지만, 스택의 최상위 요소가 <em>valueToBool</em> 함수에 의해 호출되고 <code>false</code>가 반환될 때에만 지정된 블록으로 제어가 전달됩니다.</li> <li><strong>cmdAssignVar</strong> - Value에서 <strong>VarInfo</strong> 타입의 변수 목록을 가져옵니다. 이러한 변수는 <strong>cmdAssign</strong> 명령을 사용하여 값을 가져옵니다.</li> <li><strong>cmdAssign</strong> - 스택의 값을 <strong>cmdAssignVar</strong> 명령으로 얻은 변수에 할당합니다.</li> <li><strong>cmdLabel</strong> - while 루프에서 제어가 반환될 때 레이블을 정의합니다.</li> <li><strong>cmdContinue</strong> - 이 명령은 <strong>cmdLabel</strong> 레이블로 제어를 전달합니다. 루프의 새로운 반복을 실행할 때 Value는 사용되지 않습니다.</li> <li><strong>cmdWhile</strong> - 스택의 최상위 요소를 valueToBool로 확인합니다. 이 값이 <code>true</code>인 경우, <strong>block</strong> 구조체가 value 필드로부터 호출됩니다.</li> <li><strong>cmdBreak</strong> - 루프를 종료합니다.</li> <li><strong>cmdIndex</strong> - Value를 사용하지 않고, 맵 또는 배열에서 인덱스로 값을 스택에 넣습니다. 예를 들어, <code>(map | array) (index value) => (map | array [index value])</code>;</li> <li><strong>cmdSetIndex</strong> - Value를 사용하지 않고, 맵 또는 배열의 요소에 스택의 최상위 요소의 값을 할당합니다. 예를 들어, <code>(map | array) (index value) (value) => (map | array)</code>;</li> <li><strong>cmdFuncName</strong> - 점 .으로 구분된 순차적인 설명을 사용하여 전달되는 매개변수를 추가합니다. 예를 들어, <code>func name => Func (...) .Name (...)</code>;</li> <li><strong>cmdUnwrapArr</strong> - 스택의 최상위 요소가 배열인 경우에 대한 불리언 플래그를 정의합니다.</li> <li><strong>cmdMapInit</strong> - 맵의 값을 초기화합니다.</li> <li><strong>cmdArrayInit</strong> - 배열의 값을 초기화합니다.</li> <li><strong>cmdError</strong> - 이 명령은 계약 또는 함수가 지정된 <code>error, warning, info</code>로 종료될 때 생성됩니다.</li></ul> <h3 id=""><a href="#" class="header-anchor">#</a> 스택 연산 명령 (#stack-operation-commands)</h3> <blockquote><p>참고</p></blockquote> <blockquote><p>현재 버전에서는 자동 유형 변환이 이러한 명령에 완전히 적용되지 않습니다. 예를 들어,</p></blockquote> <blockquote><p><code>string + float | int | decimal => float | int | decimal, float + int | str => float, but int + string => runtime error</code>.</p></blockquote> <p>다음은 직접 스택 처리를 위한 명령입니다. 값 필드는 이러한 명령에서 사용되지 않습니다.</p> <ul><li><strong>cmdNot</strong> - 논리 부정. <code>(val) => (!ValueToBool(val))</code>;</li> <li><strong>cmdSign</strong> - 부호 변경. <code>(val) => (-val)</code>;</li> <li><strong>cmdAdd</strong> - 덧셈. <code>(val1)(val2) => (val1 + val2)</code>;</li> <li><strong>cmdSub</strong> - 뺄셈. <code>(val1)(val2) => (val1-val2)</code>;</li> <li><strong>cmdMul</strong> - 곱셈. <code>(val1)(val2) => (val1 * val2)</code>;</li> <li><strong>cmdDiv</strong> - 나눗셈. <code>(val1)(val2) => (val1 / val2)</code>;</li> <li><strong>cmdAnd</strong> - 논리 AND. <code>(val1)(val2) => (valueToBool(val1) && valueToBool(val2))</code>;</li> <li><strong>cmdOr</strong> - 논리 OR. <code>(val1)(val2) => (valueToBool(val1) || valueToBool(val2))</code>;</li> <li><strong>cmdEqual</strong> - 동등 비교, bool이 반환됩니다. <code>(val1)(val2) => (val1 == val2)</code>;</li> <li><strong>cmdNotEq</strong> - 부등호 비교, bool이 반환됩니다. <code>(val1)(val2) => (val1 != val2)</code>;</li> <li><strong>cmdLess</strong> - 작다 비교, bool이 반환됩니다. <code>(val1)(val2) => (val1 < val2)</code>;</li> <li><strong>cmdNotLess</strong> - 크거나 같다 비교, bool이 반환됩니다. <code>(val1)(val2) => (val1 >= val2)</code>;</li> <li><strong>cmdGreat</strong> - 크다 비교, bool이 반환됩니다. <code>(val1)(val2) => (val1 > val2)</code>;</li> <li><strong>cmdNotGreat</strong> - 작거나 같다 비교, bool이 반환됩니다. <code>(val1)(val2) => (val1 <= val2)</code>.</li></ul> <h3 id="runtime-structure"><a href="#runtime-structure" class="header-anchor">#</a> Runtime 구조 </h3> <p>바이트코드 실행은 가상 머신에 영향을 미치지 않습니다. 예를 들어 다양한 기능과 계약을 단일 가상 머신에서 동시에 실행할 수 있습니다. 런타임 구조는 함수와 계약은 물론 모든 식과 바이트코드를 실행하는 데 사용됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type RunTime struct { stack []interface{} blocks []*blockStack vars []interface{} extend *map[string]interface{} vm *VM cost int64 err error } </code></pre></div><ul><li><strong>stack</strong> - 실행에 사용되는 스택입니다.</li> <li><strong>blocks</strong> - 블록 호출 스택입니다.</li> <li><strong>vars</strong> - 변수 스택입니다. 블록에서 바이트코드가 호출될 때 변수가 변수 스택에 추가됩니다. 블록을 나갈 때 변수 스택의 크기는 이전 값으로 돌아갑니다.</li> <li><strong>extend</strong> - 외부 변수 (<code>$name</code>)의 값이 포함된 맵에 대한 포인터입니다.</li> <li><strong>vm</strong> - 가상 머신 포인터입니다.</li> <li><strong>cost</strong> - 실행 비용의 연료 단위입니다.</li> <li><strong>err</strong> - 실행 중에 발생한 오류입니다.</li></ul> <h4 id="blockstack-structure"><a href="#blockstack-structure" class="header-anchor">#</a> blockStack 구조 </h4> <p>blockStack 구조는 Runtime 구조에서 사용됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type blockStack struct { Block *Block Offset int } </code></pre></div><ul><li><strong>Block</strong> - 실행 중인 블록에 대한 포인터입니다.</li> <li><strong>Offset</strong> - 지정된 블록의 바이트코드에서 마지막으로 실행된 명령의 오프셋입니다.</li></ul> <h3 id="runcode-function"><a href="#runcode-function" class="header-anchor">#</a> RunCode 함수 </h3> <p>바이트코드는 <strong>RunCode</strong> 함수에서 실행됩니다. 이 함수에는 각 바이트코드 명령에 대해 해당 작업을 수행하는 루프가 포함되어 있습니다. 바이트코드를 처리하기 전에 필요한 데이터를 초기화해야 합니다.</p> <p>새로운 블록은 다른 블록에 추가됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>rt.blocks = append(rt.blocks, &blockStack{block, len(rt.vars)}) </code></pre></div><p>다음으로 tail 함수의 관련 매개변수 정보를 가져옵니다. 이러한 매개변수는 스택의 마지막 요소에 포함됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>var namemap map[string][]interface{} if block.Type == ObjFunc && block.Info.(*FuncInfo).Names != nil { if rt.stack[len(rt.stack)-1] != nil { namemap = rt.stack[len(rt.stack)-1].(map[string][]interface{}) } rt.stack = rt.stack[:len(rt.stack)-1] } </code></pre></div><p>그런 다음 현재 블록에 정의된 모든 변수를 초기값으로 초기화해야 합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>start := len(rt.stack) varoff := len(rt.vars) for vkey, vpar := range block.Vars { rt.cost-- var value interface{} </code></pre></div><p>함수의 변수도 변수이므로 함수 자체에서 설명하는 순서대로 스택의 마지막 요소에서 변수를 검색해야 합니다.</p> <div class="language- extra-class"><pre class="language-text"><code> if block.Type == ObjFunc && vkey <len(block.Info.(*FuncInfo).Params) { value = rt.stack[start-len(block.Info.(*FuncInfo).Params)+vkey] } else { </code></pre></div><p>지역 변수를 초기 값으로 초기화합니다.</p> <div class="language- extra-class"><pre class="language-text"><code> value = reflect.New(vpar).Elem().Interface() if vpar == reflect.TypeOf(map[string]interface{}{}) { value = make(map[string]interface{}) } else if vpar == reflect.TypeOf([]interface{}{}) { value = make([]interface{}, 0, len(rt.vars)+1) } } rt.vars = append(rt.vars, value) } </code></pre></div><p>다음으로 tail 함수에 전달된 변수 매개변수의 값을 업데이트합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>if namemap != nil { for key, item := range namemap { params := (*block.Info.(*FuncInfo).Names)[key] for i, value := range item { if params.Variadic && i >= len(params.Params)-1 { </code></pre></div><p>전달된 가변 매개변수가 가변 개수의 매개변수에 속하는 경우 이러한 매개변수는 변수 배열로 결합됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code> off := varoff + params.Offset[len(params.Params)-1] rt.vars[off] = append(rt.vars[off].([]interface{}), value) } else { rt.vars[varoff+params.Offset[i]] = value } } } } </code></pre></div><p>그런 다음 스택의 맨 위에서 함수 매개 변수로 전달된 값을 삭제하여 스택을 이동하기만 하면 됩니다. 값을 변수 배열에 복사했습니다.</p> <div class="language- extra-class"><pre class="language-text"><code>if block.Type == ObjFunc { start -= len(block.Info.(*FuncInfo).Params) } </code></pre></div><p>바이트 코드 명령 루프가 완료되면 스택을 올바르게 지워야 합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>last := rt.blocks[len(rt.blocks)-1] </code></pre></div><p>블록 스택에서 현재 블록을 삭제합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>rt.blocks = rt.blocks[:len(rt.blocks)-1] if status == statusReturn { </code></pre></div><p>이미 실행된 함수에서 성공적으로 종료되면 이전 스택의 끝에 반환 값을 추가합니다.</p> <div class="language- extra-class"><pre class="language-text"><code> if last.Block.Type == ObjFunc { for count := len(last.Block.Info.(*FuncInfo).Results); count > 0; count-- { rt.stack[start] = rt.stack[len(rt.stack)-count] start++ } status = statusNormal } else { </code></pre></div><p>보시다시피 함수를 실행하지 않으면 스택 상태를 복원하지 않고 함수를 그대로 종료합니다. 그 이유는 함수에서 실행된 루프와 조건부 구조도 바이트코드 블록이기 때문입니다.</p> <div class="language- extra-class"><pre class="language-text"><code> return } } rt.stack = rt.stack[:start] </code></pre></div><h3 id="other-functions-for-operations-with-vm"><a href="#other-functions-for-operations-with-vm" class="header-anchor">#</a> 가상 머신과 관련된 기타 함수들 </h3> <p><strong>NewVM</strong> 함수를 사용하여 가상 머신을 생성할 수 있습니다. 각 가상 머신에는 <strong>ExecContract</strong>, <strong>MemoryUsage</strong>, <strong>CallContract</strong>, <strong>Settings</strong>와 같은 네 개의 함수가 <strong>Extend</strong> 함수를 통해 추가됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>for key, item := range ext.Objects { fobj := reflect.ValueOf(item).Type() </code></pre></div><p>전달된 모든 객체를 순회하고 함수만 봅니다.</p> <div class="language- extra-class"><pre class="language-text"><code> switch fobj.Kind() { case reflect.Func: </code></pre></div><p>함수에 대해 수신된 정보에 따라 <strong>ExtFuncInfo</strong> 구조를 채우고 해당 구조를 최상위 맵 <strong>Objects</strong>에 이름별로 추가합니다.</p> <div class="language- extra-class"><pre class="language-text"><code> data := ExtFuncInfo{key, make([]reflect.Type, fobj.NumIn()), make([]reflect.Type, fobj.NumOut()), make([]string, fobj.NumIn()), fobj.IsVariadic(), item} for i := 0; i <fobj.NumIn(); i++ { </code></pre></div><p><strong>ExtFuncInfo</strong> 구조에는 <strong>Auto</strong> 매개변수 배열이 있습니다. 일반적으로 첫 번째 매개변수는 <code>sc *SmartContract</code> 또는 <code>rt *Runtime</code>이며 일부 golang 기능을 실행하는 데 필요하기 때문에 니들 언어에서 전달할 수 없습니다. 따라서 이러한 함수가 호출될 때 이러한 변수가 자동으로 사용되도록 지정합니다. 이 경우 위의 네 가지 함수 중 첫 번째 매개변수는 <code>rt *Runtime</code>입니다.</p> <div class="language- extra-class"><pre class="language-text"><code> if isauto, ok := ext.AutoPars[fobj.In(i).String()]; ok { data.Auto[i] = isauto } </code></pre></div><p>매개변수 할당에 대한 정보입니다.</p> <div class="language- extra-class"><pre class="language-text"><code> data.Params[i] = fobj.In(i) } </code></pre></div><p>그리고 반환 값의 유형.</p> <div class="language- extra-class"><pre class="language-text"><code>for i := 0; i <fobj.NumOut(); i++ { data.Results[i] = fobj.Out(i) } </code></pre></div><p>컴파일러가 나중에 계약을 사용할 때 찾을 수 있도록 루트 <strong>Objects</strong> 에 함수를 추가합니다.</p> <div class="language- extra-class"><pre class="language-text"><code> vm.Objects[key] = &ObjInfo{ObjExtFunc, data} } } </code></pre></div><h2 id="compiler"><a href="#compiler" class="header-anchor">#</a> 컴파일러 </h2> <p>compile.go 파일의 함수는 어휘 분석기에서 얻은 토큰 배열을 컴파일하는 역할을 합니다. 컴파일은 조건부로 두 가지 수준으로 나눌 수 있습니다. 최상위 수준에서는 함수, 계약, 코드 블록, 조건문 및 루프 문, 변수 정의 등을 처리합니다. 하위 수준에서는 코드 블록의 식이나 루프 및 조건문의 조건을 컴파일합니다.</p> <p>먼저 간단한 하위 레벨부터 시작하겠습니다. <strong>compileEval</strong> 함수에서 표현식을 바이트코드로 변환할 수 있습니다. 우리는 스택이 있는 가상 머신을 사용하기 때문에 일반 중위 레코드 표현식을 후위 표기법이나 역폴란드어 표기법으로 변환해야 합니다. 예를 들어 <code>1+2</code>를 <code>12+</code>로 변환하고 <code>1</code>과 <code>2</code>를 스택에 넣습니다. 그런 다음 스택의 마지막 두 요소에 더하기 연산을 적용하고 결과를 스택에 씁니다. 이 <a href="https://master.virmandy.net/perevod-iz-infiksnoy-notatsii-v-postfiksnuyu-obratnaya-polskaya-zapis/" target="_blank" rel="noopener noreferrer">변환<span><svg xmlns="http://www.w3.org/2000/svg" aria-hidden="true" focusable="false" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path fill="currentColor" d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path> <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg> <span class="sr-only">(opens new window)</span></span></a> 알고리즘은 인터넷에서 찾을 수 있습니다.</p> <p>전역 변수 <code>opers = map [uint32] operPrior</code> 에는 역 폴란드 표기법으로 변환하는 데 필요한 작업의 우선 순위가 포함되어 있습니다.</p> <p><strong>compileEval</strong> 함수의 시작 부분에서 다음과 같은 변수들이 정의됩니다:</p> <ul><li><strong>buffer</strong> - 바이트코드 명령어의 임시 버퍼</li> <li><strong>bytecode</strong> - 최종적인 바이트코드 명령어의 버퍼</li> <li><strong>parcount</strong> - 함수 호출 시 매개변수를 계산하는 데 사용되는 임시 버퍼</li> <li><strong>setIndex</strong> - 작업 프로세스에서 변수가 map이나 array 요소에 할당될 때 true로 설정됩니다. 예를 들어, <code>a["my"] = 10</code>과 같이 사용될 때 특정한 <strong>cmdSetIndex</strong> 명령어를 사용해야 합니다.</li></ul> <p>루프에서 토큰을 가져와 해당 토큰을 처리합니다. 예를 들어, 괄호가 발견되면 식 분석을 중단합니다. 문자열을 이동할 때 이전 문장이 연산인지, 괄호 안에 있는지를 확인하고, 그렇지 않은 경우 식 분석이 종료됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>case isRCurly, isLCurly: i-- if prevLex == isComma || prevLex == lexOper { return errEndExp } break main case lexNewLine: if i > 0 && ((*lexems)[i-1].Type == isComma || (*lexems)[i-1].Type == lexOper) { continue main } for k := len(buffer) - 1; k >= 0; k-- { if buffer[k].Cmd == cmdSys { continue main } } break main </code></pre></div><p>일반적으로 알고리즘 자체는 역 폴란드 표기법으로 변환하는 알고리즘에 해당합니다. 필요한 컨트랙트, 함수, 인덱스 호출, 파싱 중에 만나지 못한 기타 사항, lexIdent 유형 토큰 파싱 옵션 등을 고려하여 이 이름을 가진 변수, 함수 또는 컨트랙트를 확인합니다. 아무 것도 발견되지 않고 이것이 함수 또는 계약 호출이 아닌 경우 오류를 나타냅니다.</p> <div class="language- extra-class"><pre class="language-text"><code>objInfo, tobj := vm.findObj(lexem.Value.(string), block) if objInfo == nil && (!vm.Extern || i> *ind || i >= len(*lexems)-2 || (*lexems)[i+1].Type != isLPar) { return fmt.Errorf(`unknown identifier %s`, lexem.Value.(string)) } </code></pre></div><p>이러한 상황에 직면할 수 있으며 계약 호출에 대해서는 나중에 설명합니다. 이 예제에서 이름이 같은 함수나 변수가 없으면 계약을 호출해야 한다고 생각합니다. 이 컴파일된 언어에서는 계약과 함수 호출 사이에 차이가 없습니다. 하지만 바이트코드에 사용된 <strong>ExecContract</strong> 함수를 통해 컨트랙트를 호출해야 합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>if objInfo.Type == ObjContract { if objInfo.Value != nil { objContract = objInfo.Value.(*Block) } objInfo, tobj = vm.findObj(`ExecContract`, block) isContract = true } </code></pre></div><p>우리는 <code>count</code> 에 지금까지 변수의 수를 기록하고 함수 매개변수의 수와 함께 스택에도 기록됩니다. 각 후속 매개변수 감지에서 스택의 마지막 요소에서 이 숫자를 한 단위씩 늘리면 됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>count := 0 if (*lexems)[i+2].Type != isRPar { count++ } </code></pre></div><p>우리는 컨트랙트에 대한 호출된 매개변수 목록을 가지고 있으며, 컨트랙트가 호출된 경우를 표시해야 합니다. 계약이 매개변수 없이 호출되면 <strong>ExecContract</strong> 를 호출하기 위해 두 개의 빈 매개변수를 추가하여 최소 두 개의 매개변수를 가져와야 합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>if isContract { name := StateName((*block)[0].Info.(uint32), lexem.Value.(string)) for j := len(*block) - 1; j >= 0; j-- { topblock := (*block)[j] if topblock.Type == ObjContract { if topblock.Info.(*ContractInfo).Used == nil { topblock.Info.(*ContractInfo).Used = make(map[string]bool) } topblock.Info.(*ContractInfo).Used[name] = true } } bytecode = append(bytecode, &ByteCode{cmdPush, name}) if count == 0 { count = 2 bytecode = append(bytecode, &ByteCode{cmdPush, ""}) bytecode = append(bytecode, &ByteCode{cmdPush, ""}) } count++ } </code></pre></div><p>다음에 대괄호가 있으면 <strong>cmdIndex</strong> 명령을 추가하여 인덱스로 값을 가져옵니다.</p> <div class="language- extra-class"><pre class="language-text"><code>if (*lexems)[i+1].Type == isLBrack { if objInfo == nil || objInfo.Type != ObjVar { return fmt.Errorf(`unknown variable %s`, lexem.Value.(string)) } buffer = append(buffer, &ByteCode{cmdIndex, 0}) } </code></pre></div><p><strong>CompileBlock</strong> 함수는 개체 트리와 식 독립적인 바이트코드를 생성할 수 있습니다. 컴파일 프로세스는 어휘 분석기와 마찬가지로 유한 상태 머신을 기반으로 하지만 다음과 같은 차이점이 있습니다. 첫째, 기호가 아닌 토큰을 사용합니다. 둘째, 모든 상태 및 전환에서 <em>상태</em> 변수를 즉시 설명합니다. 토큰 유형별로 인덱싱된 개체 배열을 나타냅니다. 각 토큰은 <em>compileState</em> 구조를 가지며 <em>NewState</em> 에 새로운 상태가 지정됩니다. 해결한 구조가 명확하면 <em>Func</em> 필드에 핸들러의 기능을 지정할 수 있습니다.</p> <p>기본 상태를 예로 들어 살펴보겠습니다.</p> <p>줄바꿈이나 주석을 만나면 동일한 상태를 유지합니다. <strong>contract</strong> 키워드를 만나면 상태를 <em>stateContract</em>로 변경하고 구조 구문 분석을 시작합니다. <strong>func</strong> 키워드를 만나면 상태를 <em>stateFunc</em>로 변경합니다. 다른 토큰이 수신되면 함수 생성 오류가 호출됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>{// stateRoot lexNewLine: {stateRoot, 0}, lexKeyword | (keyContract << 8): {stateContract | statePush, 0}, lexKeyword | (keyFunc << 8): {stateFunc | statePush, 0}, lexComment: {stateRoot, 0}, 0: {errUnknownCmd, cfError}, }, </code></pre></div><p><strong>func</strong> 키워드를 만났고 상태를 <em>stateFunc</em>로 변경했다고 가정합니다. 함수 이름은 <strong>func</strong> 키워드 뒤에 와야 하므로 함수 이름을 변경해도 동일한 상태를 유지합니다. 다른 모든 토큰의 경우 해당 오류를 생성합니다. 토큰 식별자에서 함수 이름을 얻으면 함수의 매개변수를 얻을 수 있는 <em>stateFParams</em> 상태로 이동합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>{// stateFunc lexNewLine: {stateFunc, 0}, lexIdent: {stateFParams, cfNameBlock}, 0: {errMustName, cfError}, }, </code></pre></div><p>위의 작업과 동시에 <strong>fNameBlock</strong> 함수를 호출합니다. Block 구조는 statePush 표시로 생성되며 버퍼에서 가져와 필요한 데이터로 채웁니다. <strong>fNameBlock</strong> 기능은 계약 및 기능(내포된 기능 포함)에 적합합니다. <em>Info</em> 필드를 해당 구조로 채우고 부모 블록의 <em>Objects</em>에 자신을 기록합니다. 이런 식으로 지정된 이름으로 함수 또는 계약을 호출할 수 있습니다. 마찬가지로 모든 상태와 변수에 해당하는 함수를 만듭니다. 이러한 기능은 일반적으로 매우 작으며 가상 머신 트리를 구성할 때 일부 임무를 수행합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>func fNameBlock(buf *[]*Block, state int, lexem *Lexem) error { var itype int prev := (*buf)[len(*buf)-2] fblock := (*buf)[len(*buf)-1] name := lexem.Value.(string) switch state { case stateBlock: itype = ObjContract name = StateName((*buf)[0].Info.(uint32), name) fblock.Info = &ContractInfo{ID: uint32(len(prev.Children) - 1), Name: name, Owner: (*buf)[0].Owner} default: itype = ObjFunc fblock.Info = &FuncInfo{} } fblock.Type = itype prev.Objects[name] = &ObjInfo{Type: itype, Value: fblock} return nil } </code></pre></div><p><strong>CompileBlock</strong> 함수는 모든 토큰을 순회하며 states에 설명된 토큰에 따라 상태를 전환합니다. 거의 모든 추가 토큰은 추가 프로그램 코드와 대응됩니다.</p> <ul><li><strong>statePush</strong> - <strong>Block</strong> 객체를 객체 트리에 추가합니다.</li> <li><strong>statePop</strong> - 블록이 닫는 중괄호로 끝나는 경우 사용됩니다.</li> <li><strong>stateStay</strong> - 새로운 상태로 전환할 때 현재 마크를 유지해야 합니다.</li> <li><strong>stateToBlock</strong> - <em>while</em>과 <em>if</em>를 처리하기 위해 <strong>stateBlock</strong> 상태로 전환합니다. 표현식을 처리한 후 중괄호 내의 블록을 처리해야 합니다.</li> <li><strong>stateToBody</strong> - <strong>stateBody</strong> 상태로 전환합니다.</li> <li><strong>stateFork</strong> - 마크된 위치를 저장합니다. 식이 식별자로 시작하거나 <code>$</code>가 포함된 이름인 경우 함수 호출이나 할당을 수행할 수 있습니다.</li> <li><strong>stateToFork</strong> - <strong>stateFork</strong>에 저장된 토큰을 가져옵니다. 이 토큰은 프로세스 함수로 전달될 것입니다.</li> <li><strong>stateLabel</strong> - <strong>cmdLabel</strong> 명령어를 삽입하기 위해 사용됩니다. <em>while</em> 구조에는 이 플래그가 필요합니다.</li> <li><strong>stateMustEval</strong> - <em>if</em>와 <em>while</em> 구조의 시작 부분에서 조건식의 유효성을 확인합니다.</li></ul> <p><strong>CompileBlock</strong> 함수 외에도 <strong>FlushBlock</strong> 함수에 대해 언급해야 합니다. 그러나 문제는 블록 트리가 기존 가상 머신과 독립적으로 구성된다는 점입니다. 보다 정확히 말하면, 가상 머신에 존재하는 함수와 계약에 대한 정보를 얻지만, 컴파일된 블록은 별도의 트리로 수집합니다. 그렇지 않으면 컴파일 중에 오류가 발생하면 가상 머신을 이전 상태로 롤백해야 합니다. 따라서 컴파일 트리로 따로 이동하지만 컴파일이 성공한 후에는 <strong>FlushContract</strong> 함수를 호출해야 합니다. 이 함수는 완성된 블록 트리를 현재 가상 머신에 추가합니다. 컴파일 단계는 이제 완료되었습니다.</p> <h2 id="lexical-analyzer"><a href="#lexical-analyzer" class="header-anchor">#</a> 어휘 분석기 </h2> <p>다음과 같은 유형의 토큰 시퀀스를 형성하기 위해 렉시컬 분석기는 들어오는 문자열을 처리합니다:</p> <ul><li><strong>lexSys</strong> - 시스템 토큰, 예를 들면: <code>{}, [], (), ,, .</code> 등</li> <li><strong>lexOper</strong> - 연산 토큰, 예를 들면: <code>+, -, /, \, *</code> 등</li> <li><strong>lexNumber</strong> - 숫자</li> <li><strong>lexident</strong> - 식별자</li> <li><strong>lexNewline</strong> - 개행 문자</li> <li><strong>lexString</strong> - 문자열</li> <li><strong>lexComment</strong> - 주석</li> <li><strong>lexKeyword</strong> - 키워드</li> <li><strong>lexType</strong> - 타입</li> <li><strong>lexExtend</strong> - 외부 변수나 함수를 참조하는 것, 예를 들면: <code>$myname</code></li></ul> <p>현재 버전에서는 파싱을 위해 초기에 <a href="#lextable-lextable-go">script/lextable/lextable.go</a> 파일을 사용하여 변환 표(finite state machine)가 초기에 작성되고 lex_table.go 파일에 작성됩니다. 일반적으로 파일에 의해 초기에 생성된 변환 표를 제거하고 시작할 때 메모리에 변환 표(<code>init()</code>)를 생성할 수 있습니다. 렉시컬 분석 자체는 <a href="#lex-go">lex.go</a> 파일의 lexParser 함수에서 발생합니다.</p> <h3 id="lextable-lextable-go"><a href="#lextable-lextable-go" class="header-anchor">#</a> lextable/lextable.go </h3> <p>여기에서는 작업할 알파벳을 정의하고 유한 상태 기계가 다음으로 수신한 기호에 따라 상태가 어떻게 변하는지를 설명합니다.</p> <p><em>states</em>는 상태 목록을 포함하는 JSON 객체입니다.</p> <p>특정 기호를 제외하고 <code>d</code>는 상태에 지정되지 않은 모든 기호를 나타냅니다. <code>n</code>은 0x0a를 나타내며, <code>s</code>는 공백을 나타내며, <code>q</code>는 역따옴표를 나타내며, <code>Q</code>는 쌍따옴표를 나타내며, <code>r</code>은 문자 >= 128을 나타내며, <code>a</code>는 AZ와 az를 나타내며, <code>1</code>은 1-9를 나타냅니다.</p> <p>이러한 상태의 이름은 키이며, 가능한 값은 값 객체에 나열됩니다. 그런 다음 각 그룹에 대한 전이를 수행하기 위해 새로운 상태가 있습니다. 그런 다음 토큰의 이름이 나옵니다. 초기 상태로 돌아가야 하는 경우, 세 번째 매개변수는 현재 기호를 처리하는 방법을 나타내는 서비스 토큰입니다.</p> <p>예를 들어, main 상태와 수신된 문자 <code>/</code>가 있다면, <code>"/": ["solidus", "", "push next"]</code>입니다.</p> <ul><li><strong>push</strong> - 별도의 스택에 현재 상태를 기억하도록 지시합니다.</li> <li><strong>next</strong> - 다음 문자로 이동하면서 동시에 상태를 <strong>solidus</strong>로 변경합니다. 그 후에 다음 문자를 가져와 <strong>solidus</strong> 상태를 확인합니다.</li></ul> <p>다음 문자가 <code>/</code> 또는 <code>/*</code>인 경우 <code>//</code> 또는 <code>/*</code>로 시작하기 때문에 <strong>comment</strong> 상태로 이동합니다. 당연히 각 주석은 다른 상태로 종료하기 때문에 다른 기호로 끝납니다.</p> <p>다음 문자가 <code>/</code>와 <code>*</code>이 아닌 경우, 스택에 있는 모든 것을 <strong>lexOper</strong> 유형 태그로 기록하고 스택을 지우고 main 상태로 돌아갑니다.</p> <p>다음 모듈은 상태 트리를 숫자 배열로 변환하여 <em>lex_table.go</em> 파일에 작성합니다.</p> <p>첫 번째 루프에서는 유효한 기호들의 알파벳을 형성합니다.</p> <div class="language- extra-class"><pre class="language-text"><code>for ind, ch := range alphabet { i := byte(ind) </code></pre></div><p>또한 <strong>state2int</strong>에서는 각 상태에 고유한 시퀀스 식별자를 제공합니다.</p> <div class="language- extra-class"><pre class="language-text"><code> state2int := map[string]uint{`main`: 0} if err := json.Unmarshal([]byte(states), &data); err == nil { for key := range data { if key != `main` { state2int[key] = uint(len(state2int)) </code></pre></div><p>모든 상태와 상태의 각 세트 및 세트의 각 기호를 순회할 때 3바이트 숫자 [new state identifier (0 = main)] + [token type ( 0-no token)] + [token] 을 씁니다. . <em>table</em> 배열의 이차원성은 <em>alphabet</em> 배열에서 상태와 34개의 입력 기호로 나누어져 동일한 순서로 배열된다는 것입니다. 우리는 <em>table</em>의 0행에 있는 <em>main</em> 상태에 있습니다. 첫 번째 문자를 가져와서 <em>알파벳</em> 배열에서 해당 인덱스를 찾고 주어진 인덱스가 있는 열에서 값을 가져옵니다. 받은 값부터 시작하여 하위 바이트의 토큰을 받습니다. 구문 분석이 완료되면 두 번째 바이트는 수신된 토큰 유형을 나타냅니다. 세 번째 바이트에서는 다음 새 상태의 인덱스를 받습니다. 이들 모두는 <em>lex.go</em>의 <strong>lexParser</strong> 함수에 자세히 설명되어 있습니다. 새로운 문자를 추가하려면 <em>alphabet</em> 배열에 추가하고 <em>AlphaSize</em> 상수의 양을 늘려야 합니다. 새로운 심볼 조합을 추가하려면 기존 옵션과 마찬가지로 상태에 설명해야 합니다. 위 작업 후 <em>lextable.go</em> 파일을 실행하여 <em>lex_table.go</em> 파일을 업데이트합니다.</p> <h3 id="lex-go"><a href="#lex-go" class="header-anchor">#</a> lex.go </h3> <p><strong>lexParser</strong> 함수는 어휘 분석을 직접 생성하고 들어오는 문자열을 기반으로 받은 태그 배열을 반환합니다. 토큰의 구조를 분석해 보겠습니다.</p> <div class="language- extra-class"><pre class="language-text"><code>type Lexem struct { Type uint32 // Type of the lexem Value interface{} // Value of lexem Line uint32 // Line of the lexem Column uint32 // Position inside the line } </code></pre></div><ul><li><strong>Type</strong> - 토큰 유형입니다. 다음 값 중 하나를 가집니다: <code>lexSys, lexOper, lexNumber, lexIdent, lexString, lexComment, lexKeyword, lexType, lexExtend</code>.</li> <li><strong>Value</strong> - 토큰 값입니다. 값의 유형은 토큰 유형에 따라 다릅니다. 자세히 분석해보겠습니다: <ul><li><strong>lexSys</strong> - 괄호, 쉼표 등이 포함됩니다. 이 경우 <code>Type = ch << 8 | lexSys</code>로 표시되며, <code>isLPar ... isRBrack</code> 상수를 참조하십시오. 값은 uint32 비트입니다.</li> <li><strong>lexOper</strong> - 값은 uint32 형식으로 표시되는 동등한 문자열 시퀀스입니다. <code>isNot ... isOr</code> 상수를 참조하십시오.</li> <li><strong>lexNumber</strong> - 숫자는 int64 또는 float64 형식으로 저장됩니다. 소수점이 있는 경우 float64로 처리됩니다.</li> <li><strong>lexIdent</strong> - 식별자는 문자열로 저장됩니다.</li> <li><strong>lexNewLine</strong> - 개행 문자입니다. 행 및 토큰 위치를 계산하는 데 사용됩니다.</li> <li><strong>lexString</strong> - 문자열은 문자열로 저장됩니다.</li> <li><strong>lexComment</strong> - 주석은 문자열로 저장됩니다.</li> <li><strong>lexKeyword</strong> - 키워드의 경우 해당 인덱스만 저장됩니다. <code>keyContract ... keyTail</code> 상수를 참조하십시오. 이 경우 <code>Type = KeyID << 8 | lexKeyword</code>입니다. 또한, <code>true, false, nil</code> 키워드는 즉시 lexNumber 유형의 토큰으로 변환되며, 해당하는 <code>bool</code> 및 <code>intreface{}</code> 유형이 사용됩니다.</li> <li><strong>lexType</strong> - 해당하는 <code>reflect.Type</code> 유형 값이 포함됩니다.</li> <li><strong>lexExtend</strong> - <code>$</code>로 시작하는 식별자입니다. 이러한 변수와 함수는 외부에서 전달되므로 특수 유형의 토큰에 할당됩니다. 이 값은 <code>$</code>로 시작하지 않는 이름으로 문자열로 표시됩니다.</li></ul></li> <li><strong>Line</strong> - 토큰이 발견된 줄입니다.</li> <li><strong>Column</strong> - 줄 내 위치입니다.</li></ul> <p><strong>lexParser</strong> 함수를 자세히 분석해 보겠습니다. <strong>todo</strong> 함수는 현재 상태와 들어오는 심볼을 기반으로 알파벳의 심볼 인덱스를 조회하고 변환 테이블에서 새 상태, 토큰 식별자(있는 경우) 및 기타 토큰을 가져옵니다. 구문 분석 자체에는 각각의 다음 문자에 대해 차례로 <strong>todo</strong> 함수를 호출하고 새로운 상태로 전환하는 작업이 포함됩니다. 태그가 수신되면 출력 기준에 해당 토큰을 생성하고 구문 분석 프로세스를 계속합니다. 구문 분석 프로세스 중에 토큰 시작의 오프셋만 저장하기 때문에 별도의 스택이나 배열에 토큰 기호를 누적하지 않는다는 점에 유의해야 합니다. 토큰을 얻은 후 다음 토큰의 오프셋을 현재 구문 분석 위치로 이동합니다.</p> <p>남은 것은 구문 분석에 사용된 어휘 상태 토큰을 확인하는 것입니다.</p> <ul><li><strong>lexfPush</strong> - 이 토큰은 새로운 토큰에서 심볼을 누적하기 시작함을 의미합니다.</li> <li><strong>lexfNext</strong> - 문자를 현재 토큰에 추가해야 함을 나타냅니다.</li> <li><strong>lexfPop</strong> - 토큰 수신이 완료되었습니다. 일반적으로 이 플래그와 함께 구문 분석된 토큰의 식별자 유형이 있습니다.</li> <li><strong>lexfSkip</strong> - 이 토큰은 구문 분석에서 문자를 제외하는 데 사용됩니다. 예를 들어, 문자열에서 제어 슬래시는 \n \r "입니다. 이들은 구문 분석 단계에서 자동으로 대체됩니다.</li></ul> <h2 id="needle-language"><a href="#needle-language" class="header-anchor">#</a> Needle 언어 </h2> <h3 id="lexemes"><a href="#lexemes" class="header-anchor">#</a> 렉서 </h3> <p>프로그램의 소스 코드는 UTF-8 인코딩이어야 합니다.</p> <p>다음 어휘 유형이 처리됩니다.</p> <ul><li><strong>Keywords</strong> - <code>action, break, conditions, continue, contract, data, else, error, false, func, If, info, nil, return, settings, true, var, warning, while</code></li> <li><strong>Number</strong> - 정수와 소수점 숫자만 허용됩니다. 기본적으로 두 가지 유형이 있습니다: <strong>int</strong>와 <strong>float</strong>. 소수점이 있는 숫자는 <strong>float</strong> 유형이 됩니다. <strong>int</strong> 유형은 golang의 <strong>int64</strong>에 해당하며, <strong>float</strong> 유형은 golang의 <strong>float64</strong>에 해당합니다.</li> <li><strong>String</strong> - 문자열은 이중 따옴표 <code>("a string")</code> 또는 백틱 <code>(`a string`)</code>으로 묶일 수 있습니다. 두 유형의 문자열 모두 개행 문자를 포함할 수 있습니다. 이중 따옴표로 묶인 문자열은 따옴표, 개행 문자 및 슬래시로 이스케이프된 캐리지 리턴을 포함할 수 있습니다. 예를 들어, <code>"This is a \"first string\".\r\nThis is a second string."</code>입니다.</li> <li><strong>Comment</strong> - 두 가지 유형의 주석이 있습니다. 한 줄 주석은 두 개의 슬래시 (//)를 사용합니다. 예를 들어, // 이것은 한 줄 주석입니다. 여러 줄 주석은 슬래시와 별표 기호를 사용하며 여러 줄에 걸칠 수 있습니다. 예를 들어, <code>/* 이것은 여러 줄 주석입니다 */</code>입니다.</li> <li><strong>Identifier</strong> - 변수와 함수의 이름은 a-z 및 A-Z 문자, UTF-8 기호, 숫자 및 밑줄로 구성됩니다. 이름은 문자, 밑줄, <code>@</code> 또는 <code>$</code>로 시작할 수 있습니다. <code>$</code>로 시작하는 이름은 <strong>data section</strong>에서 정의된 변수의 이름입니다. <code>$</code>로 시작하는 이름은 <strong>conditions</strong> 및 <strong>action sections</strong>의 범위 내에서 전역 변수를 정의하는 데에도 사용될 수 있습니다. 생태계 계약은 <code>@</code> 기호를 사용하여 호출할 수 있습니다. 예를 들어: <code>@1NewTable(...)</code>입니다.</li></ul> <h3 id="types"><a href="#types" class="header-anchor">#</a> 타입 </h3> <p>다음은 Needle 유형에 해당하는 golang 유형이 지정된 부분입니다.</p> <ul><li><strong>bool</strong> - bool, 기본값은 <strong>false</strong>입니다.</li> <li><strong>bytes</strong> - []byte{}, 기본값은 빈 바이트 배열입니다.</li> <li><strong>int</strong> - int64, 기본값은 <strong>0</strong>입니다.</li> <li><strong>address</strong> - uint64, 기본값은 <strong>0</strong>입니다.</li> <li><strong>array</strong> - []interface{}, 기본값은 빈 배열입니다.</li> <li><strong>map</strong> - map[string]interface{}, 기본값은 빈 객체 배열입니다.</li> <li><strong>money</strong> - decimal. Decimal, 기본값은 <strong>0</strong>입니다.</li> <li><strong>float</strong> - float64, 기본값은 <strong>0</strong>입니다.</li> <li><strong>string</strong> - string, 기본값은 빈 문자열입니다.</li> <li><strong>file</strong> - map[string]interface{}, 기본값은 빈 객체 배열입니다.</li></ul> <p>이러한 유형의 변수는 <code>var</code> 키워드로 정의됩니다. 예를 들어, <code>var var1, var2 int</code>입니다. 이렇게 정의되면 변수는 유형별로 기본값이 할당됩니다.</p> <p>모든 변수 값은 interface{} 유형이며, 그런 다음 필요한 golang 유형에 할당됩니다. 따라서 예를 들어, 배열 및 맵 유형은 golang의 []interface{} 및 map[string]interface{} 유형입니다. 두 유형의 배열은 모든 유형의 요소를 포함할 수 있습니다.</p> <h3 id="expressions"><a href="#expressions" class="header-anchor">#</a> 표현식 </h3> <p>식에는 산술 연산, 논리 연산 및 함수 호출이 포함될 수 있습니다. 모든 식은 연산자 우선 순위에 따라 왼쪽에서 오른쪽으로 평가됩니다. 우선 순위가 같은 경우 연산자는 왼쪽에서 오른쪽으로 평가됩니다.</p> <p>높은 작업에서 낮은 작업 우선순위:</p> <ul><li><strong>Function call and parentheses</strong> - 함수 호출 시 전달된 매개변수는 왼쪽에서 오른쪽으로 계산됩니다.</li> <li><strong>Unary Operation</strong> - 논리 부정 <code>!</code> 및 산술 부호 변경 <code>-</code>.</li> <li><strong>Multiplication and Division</strong> - 산술 곱셈 <code>*</code> 및 나눗셈 <code>/</code>.</li> <li><strong>Addition and Subtraction</strong> - 산술 덧셈 <code>+</code> 및 뺄셈 <code>-</code>.</li> <li><strong>Logical comparison</strong> - <code>>=>> >=</code>.</li> <li><strong>Logical equality and inequality</strong> - <code>== !=</code>.</li> <li><strong>Logical AND</strong> - <code>&&</code>.</li> <li><strong>Logical OR</strong> - <code>||</code>.</li></ul> <p>논리 AND 및 OR을 평가할 때, 표현식의 양쪽 모두 평가됩니다.</p> <p>Needle은 컴파일 중에 타입 체크를 수행하지 않습니다. 피연산자를 평가할 때, 타입을 더 복잡한 타입으로 변환하려고 시도합니다. 복잡도 순서에 따른 타입의 복잡성은 다음과 같을 수 있습니다: <code>string, int, float, money</code>. 타입 변환의 일부만 구현되어 있습니다. 문자열 타입은 덧셈 연산을 지원하며, 결과는 문자열 연결이 됩니다. 예를 들어, <code>string + string = string, money-int = money, int * float = float</code>입니다.</p> <p>함수에 대해서는 실행 중에 <code>string</code>과 <code>int</code> 타입에 대한 타입 체크가 수행됩니다.</p> <p><strong>array</strong> 및 <strong>map</strong> 타입은 인덱스를 통해 접근할 수 있습니다. <strong>array</strong> 타입의 경우, 인덱스로 <strong>int</strong> 값을 지정해야 합니다. <strong>map</strong> 타입의 경우, 변수 또는 <strong>string</strong> 값을 지정해야 합니다. 현재 최대 인덱스보다 큰 인덱스를 갖는 <strong>array</strong> 요소에 값을 할당하면, 배열에 빈 요소가 추가됩니다. 이러한 요소들의 초기값은 <strong>nil</strong>입니다. 예를 들어: .. code:</p> <div class="language- extra-class"><pre class="language-text"><code>var my array my[5] = 0 var mymap map mymap["index"] = my[3] </code></pre></div><p>조건부 논리 값(예: <code>if, while, &&, ||, !</code>)의 식에서 유형은 자동으로 논리 값으로 변환됩니다. 유형이 기본값이 아니면 true입니다.</p> <div class="language- extra-class"><pre class="language-text"><code>var mymap map var val string if mymap && val { ... } </code></pre></div><h3 id="scope"><a href="#scope" class="header-anchor">#</a> 스코프 </h3> <p>중괄호는 로컬 범위 변수를 포함할 수 있는 블록을 지정합니다. 기본적으로 변수의 범위는 자체 블록과 모든 중첩 블록으로 확장됩니다. 블록에서 기존 변수의 이름을 사용하여 새 변수를 정의할 수 있습니다. 그러나 이 경우 같은 이름의 외부 변수는 사용할 수 없게 됩니다.</p> <div class="language- extra-class"><pre class="language-text"><code>var a int a = 3 { var a int a = 4 Println(a) // 4 } Println(a) // 3 </code></pre></div><h3 id="contract-execution"><a href="#contract-execution" class="header-anchor">#</a> 계약 실행 </h3> <p>계약을 호출할 때에는 <strong>data</strong>에 정의된 매개변수를 전달해야 합니다. 계약을 실행하기 전에 가상 머신은 이러한 매개변수를 받아서 해당 변수($Param)에 할당합니다. 그런 다음, 미리 정의된 <strong>conditions</strong> 함수와 <strong>action</strong> 함수를 호출합니다.</p> <p>계약 실행 중 발생하는 오류는 양식 오류와 환경 오류로 구분할 수 있습니다. 양식 오류는 <code>error, warning, info</code>와 같은 특수한 명령을 사용하여 생성되며, 내장 함수가 <code>err</code>을 <em>nil</em> 이 아닌 값으로 반환할 때 발생합니다.</p> <p>Needle 언어는 예외 처리를 다루지 않습니다. 어떤 오류든 계약의 실행을 종료시킵니다. 계약을 실행할 때 별도의 스택과 변수 값 저장을 위한 구조가 생성되기 때문에, golang의 가비지 컬렉션 메커니즘은 계약 실행이 완료될 때 이러한 데이터를 자동으로 삭제합니다.</p> <h3 id="backus-naur-form-bnf"><a href="#backus-naur-form-bnf" class="header-anchor">#</a> Backus-Naur Form (BNF) </h3> <p>컴퓨터 과학에서 BNF는 문맥 없는 구문에 대한 표기법이며 일반적으로 컴퓨팅에서 사용되는 언어의 구문을 설명하는 데 사용됩니다.</p> <ul><li><decimal digit></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' </code></pre></div><ul><li><decimal number></li></ul> <div class="language- extra-class"><pre class="language-text"><code><decimal digit> {<decimal digit>} </code></pre></div><ul><li><symbol code></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'''<any symbol>''' </code></pre></div><ul><li><real number></li></ul> <div class="language- extra-class"><pre class="language-text"><code>['-'] <decimal number'.'[<decimal number>] </code></pre></div><ul><li><integer number></li></ul> <div class="language- extra-class"><pre class="language-text"><code>['-'] <decimal number> | <symbol code> </code></pre></div><ul><li><number></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'<integer number> | <real number>' </code></pre></div><ul><li><letter></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'A' |'B' | ... |'Z' |'a' |'b' | ... |'z' | 0x80 | 0x81 | ... | 0xFF </code></pre></div><ul><li><space></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'0x20' </code></pre></div><ul><li><tabulation></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'0x09' </code></pre></div><ul><li><newline></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'0x0D 0x0A' </code></pre></div><ul><li><special symbol></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'!' |'"' |'$' |''' |'(' |')' |'\*' |'+' |',' |'-' |'.' |'/ '|'<' |'=' |'>' |'[' |'\\' |']' |'_' |'|' |'}' | '{' | <tabulation> | <space> | <newline> </code></pre></div><ul><li><symbol></li></ul> <div class="language- extra-class"><pre class="language-text"><code><decimal digit> | <letter> | <special symbol> </code></pre></div><ul><li><name></li></ul> <div class="language- extra-class"><pre class="language-text"><code>(<letter> |'_') {<letter> |'_' | <decimal digit>} </code></pre></div><ul><li><function name></li></ul> <div class="language- extra-class"><pre class="language-text"><code><name> </code></pre></div><ul><li><variable name></li></ul> <div class="language- extra-class"><pre class="language-text"><code><name> </code></pre></div><ul><li><type name></li></ul> <div class="language- extra-class"><pre class="language-text"><code><name> </code></pre></div><ul><li><string symbol></li></ul> <div class="language- extra-class"><pre class="language-text"><code><tabulation> | <space> |'!' |'#' | ... |'[' |']' | ... </code></pre></div><ul><li><string element></li></ul> <div class="language- extra-class"><pre class="language-text"><code>{<string symbol> |'\"' |'\n' |'\r'} </code></pre></div><ul><li><string></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'"' {<string element>}'"' |'\`' {<string element>}'\`' </code></pre></div><ul><li><assignment operator></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'=' </code></pre></div><ul><li><unary operator></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'-' </code></pre></div><ul><li><binary operator></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'==' |'!=' |'>' |'<' |'<=' |'>=' |'&&' |'||' |'\*' |'/' |'+ '|'-' </code></pre></div><ul><li><operator></li></ul> <div class="language- extra-class"><pre class="language-text"><code><assignment operator> | <unary operator> | <binary operator> </code></pre></div><ul><li><parameters></li></ul> <div class="language- extra-class"><pre class="language-text"><code><expression> {','<expression>} </code></pre></div><ul><li><contract call></li></ul> <div class="language- extra-class"><pre class="language-text"><code><contract name>'(' [<parameters>]')' </code></pre></div><ul><li><function call></li></ul> <div class="language- extra-class"><pre class="language-text"><code><contract call> [{'.' <name>'(' [<parameters>]')'}] </code></pre></div><ul><li><block contents></li></ul> <div class="language- extra-class"><pre class="language-text"><code><block command> {<newline><block command>} </code></pre></div><ul><li><block></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'{'<block contents>'}' </code></pre></div><ul><li><block command></li></ul> <div class="language- extra-class"><pre class="language-text"><code>(<block> | <expression> | <variables definition> | <if> | <while> | break | continue | return) </code></pre></div><ul><li><if></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'if <expression><block> [else <block>]' </code></pre></div><ul><li><while></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'while <expression><block>' </code></pre></div><ul><li><contract></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'contract <name> '{'[<data section>] {<function>} [<conditions>] [<action>]'}'' </code></pre></div><ul><li><data section></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'data '{' {<data parameter><newline>} '}'' </code></pre></div><ul><li><data parameter></li></ul> <div class="language- extra-class"><pre class="language-text"><code><variable name> <type name>'"'{<tag>}'"' </code></pre></div><ul><li><tag></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'optional | image | file | hidden | text | polymap | map | address | signature:<name>' </code></pre></div><ul><li><conditions></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'conditions <block>' </code></pre></div><ul><li><action></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'action <block>' </code></pre></div><ul><li><function></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'func <function name>'('[<variable description>{','<variable description>}]')'[{<tail>}] [<type name>] <block>' </code></pre></div><ul><li><variable description></li></ul> <div class="language- extra-class"><pre class="language-text"><code><variable name> {',' <variable name>} <type name> </code></pre></div><ul><li><tail></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'.'<function name>'('[<variable description>{','<variable description>}]')' </code></pre></div><ul><li><variables definition></li></ul> <div class="language- extra-class"><pre class="language-text"><code>'var <variable description>{','<variable description>}' </code></pre></div></div> <footer class="page-edit"><div class="edit-link"><a href="https://github.com/IBAX-io/documentation/edit/master/docs/kr/topics/vm.md" target="_blank" rel="noopener noreferrer">GitHub에서 이 페이지 편집</a> <span><svg xmlns="http://www.w3.org/2000/svg" aria-hidden="true" focusable="false" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path fill="currentColor" d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path> <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg> <span class="sr-only">(opens new window)</span></span></div> <div class="last-updated"><span class="prefix">마지막 업데이트:</span> <span class="time">2023/7/4 11:08:51</span></div></footer> <div class="page-nav"><p class="inner"><span class="prev"> ← <a href="/kr/topics/templates2.html" class="prev"> 템플릿 언어 </a></span> <span class="next"><a href="/kr/topics/daemons.html"> 데몬 </a> → </span></p></div> </main></div><div class="global-ui"></div></div> <script src="/assets/js/app.d049f7ab.js" defer></script><script src="/assets/js/2.8d94a0db.js" defer></script><script src="/assets/js/119.fbdfc6c6.js" defer></script> </body> </html>